is_comb

Term.is_comb : term -> bool

Tests a term to see if it is a combination (function application).

If term M has the form f x, then is_comb M equals true. Otherwise, the result is false.

Failure

Never fails

See also

Term.mk_comb, Term.dest_comb, Term.is_var, Term.is_const, Term.is_abs