Module Factorize_free_var

module Factorize_free_var: sig .. end

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