sig
  type t = Cilutil.StmtSet.t
  val empty : Cilutil.StmtSet.t
  val singleton : Cilutil.StmtSet.elt -> Cilutil.StmtSet.t
  val add : Cilutil.StmtSet.elt -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
  val remove : Cilutil.StmtSet.elt -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
  val equal : Cilutil.StmtSet.t -> Cilutil.StmtSet.t -> bool
  val inter : Cilutil.StmtSet.t -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
  val diff : Cilutil.StmtSet.t -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
  val union : Cilutil.StmtSet.t -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
  val elements : Cilutil.StmtSet.t -> Cilutil.StmtSet.elt list
  val pretty : Format.formatter -> Cilutil.StmtSet.t -> unit
end