module Factorize_unique:sig
..end
typebinding_list =
(Xquery_common_ast.cvname * Xquery_common_ast.cvname) list
val factorize_unique_with_context : binding_list ->
Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr
val factorize_unique : Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr