MAP.Set
Maps whoses images are sets of elements
module S : SET
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
S.empty
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