Parameter Make_tbl.Info

type 'a t