sig   type t   type re   type substrings   val exec :     ?pos:int ->     ?len:int -> Kwre.ReType.re -> string -> Kwre.ReType.substrings   val get_all_ofs : Kwre.ReType.substrings -> (int * int) array end