fungi_lang::bitype
pub fn synth_nmtm( last_label: Option<&str>, ctxt: &TCtxt, nmtm: &NameTm) -> TypeInfo<NameTmTD>