minitt::check::expr
pub fn check_type(index: u32, tcs: TCS, expression: Expression) -> TCM<TCS>
checkT in Mini-TT. Check if an expression is a well-typed type expression.
checkT