module type Type = sig ... endmodule Make : functor (Config : ConfigInt.Type) -> functor (Text : UnicodeString.Type) -> Type with type text = Text.tCamomileLibrary.CaseMapCase mappings as defined in Unicode Technical Report #21
module type Type = sig ... endmodule Make : functor (Config : ConfigInt.Type) -> functor (Text : UnicodeString.Type) -> Type with type text = Text.t