module type Fundec_set = Set with type elt = Cil_types.fundec and type t = Cil_datatype.Fundec.Set.t
Set
with type elt = Cil_types.fundec and type t = Cil_datatype.Fundec.Set.t
include Parameter_sig.Collection
val mem : elt -> bool
elt -> bool
val exists : (elt -> bool) -> bool
(elt -> bool) -> bool