sig
module Comp :
functor
(T : Typeable.Typeable) (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