minitt::check::expr
pub fn check( index: u32, tcs: TCS, expression: Expression, value: Value) -> TCM<TCS>
check in Mini-TT. However, telescope and gamma are preserved for REPL use.
check