Module Automata.State

type t = {
idx : idx;
category : Re__.Category.t;
desc : E.t list;
mutable status : status option;
hash : hash;
}
val dummy : t
val create : Re__.Category.t -> expr -> t
module Table : Stdlib.Hashtbl.S with type key = t