minitt::type_check
pub fn check_main(expression: Expression) -> TCM<()>
checkMain in Mini-TT.
checkMain