Module Factorize_globals


module Factorize_globals: sig .. end

val factor_global_expression : Typing_context.static_context ->
Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr