----------------------------------------------------------------------
is_comb                                                         (Term)
----------------------------------------------------------------------
is_comb : term -> bool

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

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

FAILURE
Never fails

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

----------------------------------------------------------------------