Module type Self.Varinfo_set

module type Varinfo_set = Parameter_sig.Set 
  with type elt = Cil_types.varinfo
   and type t = Cil_datatype.Varinfo.Set.t

include Parameter_sig.Collection

A set is a collection.

Additional accessors to the set.

val mem : elt -> bool

Does the given element belong to the set?

val exists : (elt -> bool) -> bool

Is there some element satisfying the given predicate?