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.