Function fungi_lang::bitype::synth_val

pub fn synth_val(last_label: Option<&str>, ctx: &Ctx, val: &Val) -> ValDer

synthesize sort for value term