Module type Parameter_sig.Fundec_set

module type Fundec_set = Set  with type elt = Cil_types.fundec
       and type t = Cil_datatype.Fundec.Set.t

include Parameter_sig.Collection

A set is a collection.

Additional accessors to the set.

val mem : elt -> bool

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