Function fungi_lang::bitype::synth_val
[−]
[src]
pub fn synth_val(ext: &Ext, ctx: &Ctx, val: &Val) -> ValDer
synthesize sort for value term