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