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 : 'a Dynmap.DynMap.t
      val add :
        Typeable.dynamic ->
        'a ->
        Dynmap.DynMap.comparator -> 'a Dynmap.DynMap.t -> 'a Dynmap.DynMap.t
      val mem : Typeable.dynamic -> 'a Dynmap.DynMap.t -> bool
      val find : Typeable.dynamic -> 'a Dynmap.DynMap.t -> 'a option
      val iter :
        (Typeable.dynamic -> 'a -> unit) -> 'a Dynmap.DynMap.t -> unit
    end
end