Module CtrlDpds.S


module S: sig .. end

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