Module Db.String_automata

type terminals =
  1. | Empty
  2. | Terminals of Entry.t array
  3. | Summary of Entry.t array
type node = {
  1. start : int;
  2. len : int;
  3. size : int;
  4. terminals : terminals;
  5. children : node array option;
}
type t = {
  1. str : string;
  2. 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