sig
  type comparator = Typeable.dynamic -> Typeable.dynamic -> bool
  type 'a t
  val empty : 'a Dynmap.DynMap.t
  val add :
    Typeable.dynamic ->
    'a ->
    Dynmap.DynMap.comparator -> 'a Dynmap.DynMap.t -> 'a Dynmap.DynMap.t
  val mem : Typeable.dynamic -> 'a Dynmap.DynMap.t -> bool
  val find : Typeable.dynamic -> 'a Dynmap.DynMap.t -> 'a option
  val iter : (Typeable.dynamic -> 'a -> unit) -> 'a Dynmap.DynMap.t -> unit
end