Function fungi_lang::bitype::synth_val

pub fn synth_val(
    last_label: Option<&str>, 
    ctxt: &TCtxt, 
    val: &Val
) -> TypeInfo<ValTD>