setr

Abstract domain library for sets
IN THIS PACKAGE
Module SETr_DS_HMap
type (+'a, 'b) t
val empty : ( 'a, 'b ) t
val add : 'a key -> 'b -> ( 'a, 'b ) t -> ( 'a, 'b ) t
val find : 'a key -> ( 'a, 'b ) t -> 'b
val remove : 'a key -> ( 'a, 'b ) t -> ( 'a, 'b ) t
val mem : 'a key -> ( 'a, 'b ) t -> bool
val iter : ( 'a key -> 'b -> unit ) -> ( 'a, 'b ) t -> unit
val map : ( 'b -> 'c ) -> ( 'a, 'b ) t -> ( 'a, 'c ) t
val mapi : ( 'a key -> 'b -> 'c ) -> ( 'a, 'b ) t -> ( 'a, 'c ) t
val fold : ( 'a key -> 'b -> 'c -> 'c ) -> ( 'a, 'b ) t -> 'c -> 'c