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  mk_comb,   dest_comb,   is_var,   is_const,   is_abs

HOL  Kananaskis 0