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) -> Computation.SET.t -> '-> 'a
  val iter : (Computation.SET.elt -> unit) -> Computation.SET.t -> unit
end