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