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