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