Function fungi_lang::bitype::check_exp

pub fn check_exp(
    last_label: Option<&str>, 
    ctxt: &TCtxt, 
    exp: &Exp, 
    ceffect: &CEffect
) -> TypeInfo<ExpTD>