minitt::type_check
pub fn check( index: u32, context: Telescope, gamma: Gamma, expression: Expression, value: Value) -> TCM<()>
check in Mini-TT.
check