sig
  module Comp :
    functor (T : Deriving_Typeable.Typeable->
      functor (E : sig type a = T.a val eq : a -> a -> bool end->
        sig
          type a = T.a
          val eq :
            Deriving_Typeable.dynamic -> Deriving_Typeable.dynamic -> bool
        end
  module DynMap :
    sig
      type comparator =
          Deriving_Typeable.dynamic -> Deriving_Typeable.dynamic -> bool
      type 'a t
      val empty : 'Deriving_dynmap.DynMap.t
      val add :
        Deriving_Typeable.dynamic ->
        '->
        Deriving_dynmap.DynMap.comparator ->
        'Deriving_dynmap.DynMap.t -> 'Deriving_dynmap.DynMap.t
      val mem :
        Deriving_Typeable.dynamic -> 'Deriving_dynmap.DynMap.t -> bool
      val find :
        Deriving_Typeable.dynamic -> 'Deriving_dynmap.DynMap.t -> 'a option
      val iter :
        (Deriving_Typeable.dynamic -> '-> unit) ->
        'Deriving_dynmap.DynMap.t -> unit
    end
end