Function fungi_lang::bitype::synth_exp

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

Synthesize a type and effect for a program expression