Function minitt::type_check::check

pub fn check<Name: DebuggableNameTrait>(
    index: u32, 
    context: Telescope<Name>, 
    gamma: Gamma<Name>, 
    expression: Expression<Name>, 
    value: Value<Name>
) -> TCM<()>

check in Mini-TT.