Parameter Ty_tbl.Info

type 'a t