[−][src]Type Definition minitt::type_check::TCS

type TCS<'a> = (Gamma<'a>, Telescope);

Type-Checking State~~, not "Theoretical Computer Science"~~.
This is not present in Mini-TT.