Parameter Ty_tbl.1-Info

type 'a t