sig val matches : string -> string -> string -> bool val replace : string -> string -> string -> string -> string val tokenize : string -> string -> string -> string list end