1signature Regexp_Match = 2sig 3 4 type regexp = Regexp_Type.regexp; 5 6 val matcher : 7 regexp -> {matchfn : string -> bool, 8 start : int, 9 table : int list list, 10 final : bool list} 11 12 val vector_matcher : 13 regexp -> {matchfn: string -> bool, 14 table : int vector vector, 15 start : int, 16 final : bool vector} 17 18 val domBrz : regexp -> unit 19end