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