Module Tjr_lib_core.Int_
module type TYPE_ISOMORPHIC_TO_INT = sig ... endmodule Make_type_isomorphic_to_int : functor () TYPE_ISOMORPHIC_TO_INTTjr_lib_core.Int_module type TYPE_ISOMORPHIC_TO_INT = sig ... endmodule Make_type_isomorphic_to_int : functor () TYPE_ISOMORPHIC_TO_INT