Function fungi_lang::bitype::check_nmtm

pub fn check_nmtm(
    last_label: Option<&str>, 
    ctxt: &TCtxt, 
    nmtm: &NameTm, 
    sort: &Sort
) -> TypeInfo<NameTmTD>