Function fungi_lang::subst::term_is_idxtm[][src]

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

Predicate for index terms