val meth_of_constr : string -> string
val self_typ_param_name : string
val gcata_name_for_typ : string -> string
val class_name_for_typ : string -> string
val trait_class_name_for_typ : trait:string -> string -> string
val fix_name : plugin_name:'a -> string -> string
val typ1_for_class_arg : plugin:string -> string -> string
val trf_field : plugin:string -> string -> string
val mut_ofield : plugin:string -> string -> string
val typ3_for_class_arg : plugin_name:string -> string -> string
val mut_oclass_field : plugin:string -> string -> string
val self_arg_name : string
val all_trfs_together : string
val trf_function : string -> string -> string
val make_stub_class_name : plugin:string -> string -> string
val init_trf_function : string -> string -> string
val prereq_name : plugin:string -> string -> string
val mut_arg_composite : string
val mut_arg_name : plugin:string -> string -> string
val cname_index : string -> string
val mutuals_pack : string
val fix_func_name : ?for_:string -> string -> string
val for_ : string -> string -> string