Function fungi_lang::subst::term_is_nmtm[][src]

pub fn term_is_nmtm(t: &Term) -> bool

Predicate for name terms