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

Predicate for index terms