Function fungi_lang::bitype::check_nmtm
[−]
[src]
pub fn check_nmtm(
last_label: Option<&str>,
ctx: &Ctx,
nmtm: &NameTm,
sort: &Sort
) -> NmTmDer
check sort against name term