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