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