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.