Module Set.Map

type 'a map
val get : 'a map -> (Elem.t * 'a) list
val add : Elem.t -> 'a -> 'a map -> 'a map
val length : 'a map -> int
val domain : 'a map -> t
val restrict : 'a map -> t -> 'a map
val empty : 'a map
val iter : ('a -> unit) -> 'a map -> unit
val iteri : (Elem.t -> 'a -> unit) -> 'a map -> unit
val filter : (Elem.t -> 'a -> bool) -> 'a map -> 'a map
val split : (Elem.t -> 'a -> bool) -> 'a map -> 'a map * 'a map
val is_empty : 'a map -> bool
val singleton : Elem.t -> 'a -> 'a map
val assoc_remove : Elem.t -> 'a map -> 'a * 'a map
val remove : Elem.t -> 'a map -> 'a map
val subset_keys : 'a map -> 'a map -> bool
val merge : ('a -> 'a -> 'a) -> 'a map -> 'a map -> 'a map
val combine : ('a -> 'c) -> ('b -> 'c) -> ('a -> 'b -> 'c) -> 'a map -> 'b map -> 'c map
val cap : ('a -> 'a -> 'a) -> 'a map -> 'a map -> 'a map
val sub : ('a -> 'a -> 'a) -> 'a map -> 'a map -> 'a map
val merge_elem : 'a -> 'a map -> 'a map -> 'a map
val union_disj : 'a map -> 'a map -> 'a map
val diff : 'a map -> t -> 'a map
val from_list : ('a -> 'a -> 'a) -> (Elem.t * 'a) list -> 'a map
val from_list_disj : (Elem.t * 'a) list -> 'a map
val map_from_slist : (Elem.t -> 'a) -> t -> 'a map
val collide : ('a -> 'b -> unit) -> 'a map -> 'b map -> unit
val may_collide : ('a -> 'b -> unit) -> exn -> 'a map -> 'b map -> unit
val map : ('a -> 'b) -> 'a map -> 'b map
val mapi : (Elem.t -> 'a -> 'b) -> 'a map -> 'b map
val fold : (Elem.t -> 'a -> 'b -> 'b) -> 'a map -> 'b -> 'b
val constant : 'a -> t -> 'a map
val num : int -> t -> int map
val map_to_list : ('a -> 'b) -> 'a map -> 'b list
val mapi_to_list : (Elem.t -> 'a -> 'b) -> 'a map -> 'b list
val assoc : Elem.t -> 'a map -> 'a
val assoc_present : Elem.t -> 'a map -> 'a
val replace : Elem.t -> 'a -> 'a map -> 'a map
val update : ('a -> 'a -> 'a) -> Elem.t -> 'a -> 'a map -> 'a map
val remove_min : 'a map -> (Elem.t * 'a) * 'a map
val compare : ('a -> 'a -> int) -> 'a map -> 'a map -> int
val hash : ('a -> int) -> 'a map -> int
val equal : ('a -> 'a -> bool) -> 'a map -> 'a map -> bool