module Factorize_free_var: sig .. end
sig
end
val compute_free_vars : Xquery_core_ast.acexpr -> Xquery_common_ast.cvname list
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
Typing_context.static_context -> Xquery_core_ast.acexpr -> Typing_context.static_context