Module type Rmap.S


module type S = sig .. end

type key 
type 'a t 
include Sexpable.S1
val create : unit -> 'a t
val invariant : 'a t -> unit
val add : 'a t -> key:key -> data:'a -> unit
val remove : 'a t -> key -> unit
val find : 'a t -> key -> 'a option
val fold : 'a t -> init:'b -> f:(key:key -> data:'a -> 'b -> 'b) -> 'b
val iter : 'a t -> f:(key:key -> data:'a -> unit) -> unit