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