Function fungi_lang::bitype::check_nmtm
[−]
[src]
pub fn check_nmtm(
last_label: Option<&str>,
ctxt: &TCtxt,
nmtm: &NameTm,
sort: &Sort
) -> TypeInfo<NameTmTD>