Type Definition TCS
minitt::check::tcm
type TCS<'a> = (Gamma<'a>, Telescope);
Type-Checking State~~, not "Theoretical Computer Science"~~. This is not present in Mini-TT.