Module Type.TyTbl


module TyTbl: sig .. end
Heterogeneous tables indexed by type. Roughly the same signature that Hashtbl.S.

type 'a ty = 'a Type.t 
type 'a t 
val create : int -> 'a t
val add : 'a t -> 'b ty -> 'a -> unit
val find : 'a t -> 'b ty -> 'a