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