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