Module Factorize_unique

module Factorize_unique: sig .. end

type binding_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