module Factorize_globals: sig .. end
sig
end
val factor_global_expression : Typing_context.static_context -> Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr
Typing_context.static_context -> Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr