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