Function fungi_lang::bitype::synth_exp

pub fn synth_exp(last_label: Option<&str>, ctx: &Ctx, exp: &Exp) -> ExpDer

Synthesize a type and effect for a program expression