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