Functor Type.Ty_tbl

module Ty_tbl: 
functor (Info : sig
type 'a t 
end-> sig .. end

Heterogeneous tables indexed by type value. Roughly the same signature that Hashtbl.S.

Parameters:
Info : sig type 'a t end

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