Module Db.String_automataSource

Sourcetype terminals =
  1. | Empty
  2. | Terminals of Entry.t array
  3. | Summary of Entry.t array
Sourcetype node = {
  1. start : int;
  2. len : int;
  3. size : int;
  4. terminals : terminals;
  5. children : node array option;
}
Sourcetype t = {
  1. str : string;
  2. t : node;
}
Sourceval empty : unit -> node
Sourceval find : t -> string -> t option
Sourceval find_star : t -> string -> t list
Sourceval minimum : t -> Entry.t
Sourceval size : t -> int