sig
  val compute_free_vars :
    Xquery_core_ast.acexpr -> Xquery_common_ast.cvname list
  val annotate_free_vars :
    Typing_context.static_context ->
    Xquery_core_ast.acexpr -> Typing_context.static_context
end