Function fungi_lang::bitype::check_exp
[−]
[src]
pub fn check_exp(ext: &Ext, ctx: &Ctx, exp: &Exp, ceffect: &CEffect) -> ExpDer
Check a type and effect against a program expression