Function fungi_lang::bitype::check_exp

source · 
pub fn check_exp(ext: &Ext, ctx: &Ctx, exp: &Exp, ceffect: &CEffect) -> ExpDer
Expand description

Check a program expression against a given type and effect