Module Automaton.Make.States

module States: Alphabet.Pow(Automaton.State)

module S: Stdlib.Set.Make(A)

type t = S.t 

val eq : t -> t -> bool

val compare : t -> t -> int

val to_string : t -> string

val empty : t

val of_list : S.elt list -> t

val add : t -> A.t -> S.t

val mem : t -> A.t -> bool

val iter : (A.t -> unit) -> t -> unit