Function fungi_lang::bitype::synth_nmtm [−] [src]

pub fn synth_nmtm(last_label: Option<&str>, ctx: &Ctx, nmtm: &NameTm) -> NmTmDer

synthesize sort for name term