Module Map.Set

Maps whoses images are sets of elements

Parameters

module S : Types.SET

Signature

val add : key -> S.elt -> S.t t -> S.t t
val mem : key -> S.elt -> S.t t -> bool
val find : key -> S.t t -> S.t

S.empty when not present

val fold : (key -> S.elt -> 'b -> 'b) -> S.t t -> 'b -> 'b
val iter : (key -> S.elt -> unit) -> S.t t -> unit
val mapi : (key -> S.elt -> S.elt) -> S.t t -> S.t t
val map : (S.elt -> S.elt) -> S.t t -> S.t t
val filter : (key -> S.elt -> bool) -> S.t t -> S.t t
val mapi_bind : (key -> S.elt -> S.t) -> S.t t -> S.t t
val map_bind : (S.elt -> S.t) -> S.t t -> S.t t
val mapi_filter : (key -> S.elt -> S.elt option) -> S.t t -> S.t t
val map_filter : (S.elt -> S.elt option) -> S.t t -> S.t t