minitt::check
pub fn check_main<'a>(expression: Expression) -> TCM<TCS<'a>>
checkMain in Mini-TT.
checkMain