sig
type key
type 'a t
type 'a sexpable = 'a t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a sexpable -> Sexplib.Sexp.t
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a sexpable
val create : unit -> 'a Rmap.S.t
val invariant : 'a Rmap.S.t -> unit
val add : 'a Rmap.S.t -> key:Rmap.S.key -> data:'a -> unit
val remove : 'a Rmap.S.t -> Rmap.S.key -> unit
val find : 'a Rmap.S.t -> Rmap.S.key -> 'a option
val fold :
'a Rmap.S.t -> init:'b -> f:(key:Rmap.S.key -> data:'a -> 'b -> 'b) -> 'b
val iter : 'a Rmap.S.t -> f:(key:Rmap.S.key -> data:'a -> unit) -> unit
end