1 2 3 4 5 6 7 8 9
(*i $Id$ i*) (* Dynamics. Use with extreme care. Not for kids. *) type t val create : string -> ('a -> t) * (t -> 'a) val tag : t -> string