sig
type elt
type t
val empty : Computation.SET.t
val singleton : Computation.SET.elt -> Computation.SET.t
val is_empty : Computation.SET.t -> bool
val add : Computation.SET.elt -> Computation.SET.t -> Computation.SET.t
val mem : Computation.SET.elt -> Computation.SET.t -> bool
val fold :
(Computation.SET.elt -> 'a -> 'a) -> Computation.SET.t -> 'a -> 'a
val iter : (Computation.SET.elt -> unit) -> Computation.SET.t -> unit
end