module DynMap:sig..end
typecomparator =Typeable.dynamic -> Typeable.dynamic -> bool
type 'a t
val empty : 'a tval add : Typeable.dynamic ->
'a -> comparator -> 'a t -> 'a tval mem : Typeable.dynamic -> 'a t -> boolval find : Typeable.dynamic -> 'a t -> 'a optionval iter : (Typeable.dynamic -> 'a -> unit) -> 'a t -> unit