• en

Module Pa_compare

module Gen = Pa_type_conv.Gen
val (|!) : 'a -> 'a -> 'b -> 'b
module Pa_tools : sig
val unpack_ty_app : Camlp4.PreCast.Ast.ctyp -> (Camlp4.PreCast.Ast.ident * string list * Camlp4.PreCast.Ast.ctyp list)
end
val bind_pats : Camlp4.PreCast.Ast.patt list -> Camlp4.PreCast.Ast.patt
val tds_contains_t : Camlp4.PreCast.Ast.ctyp -> bool
module Gen_struct : sig
val chain_if : Camlp4.PreCast.Ast.expr list -> Camlp4.PreCast.Ast.expr
val base_types : string list
val compare_named : Camlp4.PreCast.Ast.ident -> Camlp4.PreCast.Ast.expr
val tp_name : string -> string
val branches_of_sum : rightmost:bool -> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.match_case
val compare_of_ty_fun : type_constraint:bool -> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.expr
val compare_of_nil : Camlp4.PreCast.Ast.loc -> string -> Camlp4.PreCast.Ast.expr -> Camlp4.PreCast.Ast.expr -> Camlp4.PreCast.Ast.expr
val scheme_of_td : Camlp4.PreCast.Ast.loc -> string -> Camlp4.PreCast.Ast.ctyp list -> Camlp4.PreCast.Ast.ctyp
val compare_of_td : Camlp4.PreCast.Ast.loc -> string -> Camlp4.PreCast.Ast.ctyp list -> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.binding
val compare_of_tds : Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.binding
val compare_of : bool -> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.str_item
end
module Gen_sig : sig
val sig_of_td__loop : Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.ctyp list -> Camlp4.PreCast.Ast.ctyp
val sig_of_td : Camlp4.PreCast.Ast.loc -> string -> Camlp4.PreCast.Ast.ctyp list -> 'a -> 'b -> Camlp4.PreCast.Ast.sig_item
val sig_of_tds : 'a -> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.sig_item
end
module Gen_quote : sig
val parse : Camlp4.PreCast.Ast.Loc.t -> 'a -> string -> Camlp4.PreCast.Ast.expr
end