find_term : (term -> bool) -> term -> term
- SYNOPSIS
-
Searches a term for a subterm that satisfies a given predicate.
- DESCRIPTION
-
The largest subterm, in a depth-first, left-to-right search
of the given term, that satisfies the predicate is returned.
- FAILURE CONDITIONS
-
Fails if no subterm of the given term satisfies the predicate.
- EXAMPLE
-
# find_term is_var `x + y + z`;;
val it : term = `x`
- SEE ALSO
-
find_terms.