method trait_name : stringmethod make_typ_of_class_argument : 'a. loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
(AstHelpers.Typ.t -> 'a -> 'a) ->
Base.string ->
(('a -> 'a) -> 'a -> 'a) ->
'a ->
'amethod on_different_constructors : loc:AstHelpers.loc ->
bool ->
string ->
Base.String.t ->
[ `Record of (Base.string * Base.string * Ppxlib.core_type) Base.list
| `Tuples of (Base.string * Ppxlib.core_type) Base.list ] ->
AstHelpers.Exp.tmethod on_tuple_constr : loc:AstHelpers.loc ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
mutual_decls:Ppxlib.type_declaration Base.list ->
inhe:AstHelpers.Exp.t ->
Ppxlib.type_declaration ->
[ `Normal of Base.string | `Poly of Base.string ] Base.option ->
(Base.string * Ppxlib.core_type) Base.list ->
AstHelpers.Exp.tmethod on_record_declaration : loc:AstHelpers.loc ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
mutual_decls:Ppxlib.type_declaration Base.list ->
Ppxlib.type_declaration ->
Ppxlib.label_declaration Base.list ->
AstHelpers.Cf.t Base.listmethod on_record_constr : loc:AstHelpers.loc ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
mutual_decls:Ppxlib.type_declaration Base.list ->
inhe:AstHelpers.Exp.t ->
Ppxlib.type_declaration ->
[ `Normal of Base.string | `Poly of Base.string ] ->
(Base.string * Base.string * Ppxlib.core_type) Base.list ->
Ppxlib.label_declaration Base.list ->
AstHelpers.Exp.t