`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`