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