lib/dynmap.mli

   1 (* Finite map : dynamic |-> t *)
   2
   3 open Typeable
   4
   5 module Comp (T : Typeable) (E : Eq.Eq with type a = T.a) :
   6 sig
   7   type a = T.a
   8   val eq : dynamic -> dynamic -> bool
   9 end
  10
  11 module DynMap :
  12 sig
  13   type comparator = dynamic -> dynamic -> bool
  14   type 'a t
  15    val empty : 'a t
  16    val add : dynamic -> 'a -> comparator -> 'a t -> 'a t
  17    val mem : dynamic -> 'a t -> bool
  18    val find : dynamic -> 'a t -> 'a option
  19    val iter : (dynamic -> 'a -> unit) -> 'a t -> unit
  20 end