type regexp = URe.regexpval regexp : string -> regexpval regexp_string : string -> regexpmodule type Type = sig ... endmodule Make : functor (Text : UnicodeString.Type) -> sig ... endMake.UReStrtype regexp = URe.regexpval regexp : string -> regexpval regexp_string : string -> regexpmodule type Type = sig ... endmodule Make : functor (Text : UnicodeString.Type) -> sig ... end