Plugin_intf.typ_g
method alias_inherit_type_params : loc:'loc ->
Ppxlib.type_declaration ->
Ppxlib.core_type list ->
'typ list
method do_mutuals : loc:'loc ->
is_rec:bool ->
Ppxlib.type_declaration list ->
'str list
method do_single : loc:'loc ->
is_rec:bool ->
Ppxlib.type_declaration ->
'str list
method do_single_sig : loc:'loc ->
is_rec:bool ->
Ppxlib.type_declaration ->
'sign list
method do_typ_gen : loc:'loc ->
mutual_decls:Ppxlib.type_declaration list ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
Ppxlib.type_declaration ->
Ppxlib.core_type ->
'exp
method eta_and_exp : center:'exp -> Ppxlib.type_declaration -> 'exp
method extra_class_sig_members : Ppxlib.type_declaration -> 'ctf list
method extra_class_str_members : Ppxlib.type_declaration -> 'cf list
method inh_of_main : loc:'loc -> Ppxlib.type_declaration -> 'typ
method inh_of_param : loc:'loc -> Ppxlib.type_declaration -> string -> 'typ
method make_final_trans_function_typ : loc:'loc ->
Ppxlib.type_declaration ->
'typ
method make_trans_function_name : Ppxlib.type_declaration -> string
method make_trans_function_typ : loc:'loc -> Ppxlib.type_declaration -> 'typ
method plugin_class_params : loc:'loc ->
Ppxlib.core_type list ->
typname:string ->
'typ list
method prepare_fa_args : 'a. loc:'loc ->
(loc:'loc -> flg:Ppxlib.rec_flag -> pat:'pat -> expr:'exp -> 'a -> 'a) ->
Ppxlib.type_declaration ->
'pat list * ('a -> 'a)
method syn_of_main : loc:'loc ->
?in_class:bool ->
Ppxlib.type_declaration ->
'typ