Module termname

Functions

pattern_contains_termname

Check whether the pattern (the LHS term) contains a given term name, including in any subterms.