type regexp = URe.regexpval regexp : string -> regexpval regexp_string : string -> regexpmodule type Type = sig ... endmodule Make : functor (Text : UnicodeString.Type) -> Type with type text = Text.t and type index = Text.indexUReStr.Interfacetype regexp = URe.regexpval regexp : string -> regexpval regexp_string : string -> regexpmodule type Type = sig ... endmodule Make : functor (Text : UnicodeString.Type) -> Type with type text = Text.t and type index = Text.index