module Factorize_top:sig
..end
val factorize_statement : Typing_context.static_context ->
Xquery_core_ast.acstatement -> Xquery_core_ast.acstatement
val factorize_prolog : Typing_context.static_context ->
Xquery_core_ast.acprolog ->
Typing_context.static_context * Xquery_core_ast.acprolog
val factorize_xmodule : Typing_context.static_context ->
Xquery_core_ast.acxmodule ->
Typing_context.static_context * Xquery_core_ast.acxmodule