module TyTbl: sig .. end
sig
end
Hashtbl.S
type 'a ty = 'a Type.t
'a
'a Type.t
type 'a t
val create : int -> 'a t
int -> 'a t
val add : 'a t -> 'b ty -> 'a -> unit
'a t -> 'b ty -> 'a -> unit
val find : 'a t -> 'b ty -> 'a
'a t -> 'b ty -> 'a