1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
(* A string automata, constructed from a suffix tree and optimized
for fast queries and small serialization. *)
type terminals =
| Empty
| Terminals of Entry.t array
| Summary of Entry.t array
type node =
{ start : int
; len : int
; size : int
; terminals : terminals
; children : node array option
}
type t =
{ str : string
; t : node
}
val empty : unit -> node
val find : t -> string -> t option
val find_star : t -> string -> t list
val minimum : t -> Entry.t
val size : t -> int
|
