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