WFA.S
Minimal interface required of the state type (integer in practice).
type t
type comparator_witness
type 'a map = (t, 'a, comparator_witness) Base.Map.t
val comparator : (t, comparator_witness) Base.Comparator.t
val compare : t -> t -> Base.int
val equal : t -> t -> Base.bool
val hash : t -> Base.int
val sexp_of_t : t -> Base.Sexp.t
val to_string : t -> Base.string