Module Kwrefer.SM

module SM: Kwmap.S  with type key = string
Maps with string keys.

include Map.S
val keys : 'a t -> key list
val adjoin : ('a -> 'b -> 'b) -> 'b -> key -> 'a -> 'b t -> 'b t
val append : 'a list t -> key -> 'a -> 'a list t
val size : 'a t -> int
val diff : 'a t -> 'b t -> 'a t
val replace : key -> 'a -> 'a t -> 'a t
val of_list : (key * 'a) list -> 'a t -> 'a t
val values : 'a t -> 'a list
val intersect : (key -> 'a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val union : 'a t -> 'a t -> 'a t
val incr : ?i:int -> key -> int t -> int t
val to_list : 'a t -> (key * 'a) list
val comparer : ?def:'a -> ?result:int -> (key * 'a) list -> key -> key -> int