module type Type = sig ... endmodule Make : functor (Config : ConfigInt.Type) -> functor (Text : UnicodeString.Type) -> Type with type text = Text.tCamomileLibrary.StringPrepAll-in-one, configure once at beginning module
module type Type = sig ... endmodule Make : functor (Config : ConfigInt.Type) -> functor (Text : UnicodeString.Type) -> Type with type text = Text.t