Ppx_compare_expander.Equal
val type_ : hide:bool -> loc:Ppxlib.Location.t -> Ppxlib.core_type -> Ppxlib.core_type
type_ ~hide ty
is ty -> ty -> result_type
where result_type
is int
for compare
and bool
for equal
.
hide
controls whether some [@merlin.hide]
attributes should be added.
val core_type : Ppxlib.core_type -> Ppxlib.expression
core_type ty
is an expression of type ty -> ty -> result_type
val str_type_decl : ctxt:Ppxlib.Expansion_context.Deriver.t -> (Ppxlib.rec_flag * Ppxlib.type_declaration list) -> Ppxlib.structure
val sig_type_decl : ctxt:Ppxlib.Expansion_context.Deriver.t -> (Ppxlib.rec_flag * Ppxlib.type_declaration list) -> Ppxlib.signature
module Attrs : sig ... end
val str_attributes : Ppxlib.Attribute.packed list