# Module Deriving_dynmap.DynMap

    module DynMap: sig .. end

    type comparator = Deriving_Typeable.dynamic -> Deriving_Typeable.dynamic -> bool

    type 'a t

    val empty : 'a t

    val add : Deriving_Typeable.dynamic ->
           'a ->
           comparator ->
           'a t -> 'a t

    val mem : Deriving_Typeable.dynamic -> 'a t -> bool

    val find : Deriving_Typeable.dynamic -> 'a t -> 'a option

    val iter : (Deriving_Typeable.dynamic -> 'a -> unit) ->
           'a t -> unit