Function fungi_lang::bitype::synth_exp

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