is_var : term -> bool
STRUCTURE
Term
SYNOPSIS
Tests a term to see if it is a variable.
DESCRIPTION
If
M
is a HOL variable, then
is_var M
returns
true
. If the term is not a variable the result is
false
.
FAILURE
Never fails.
SEEALSO
mk_var
,
dest_var
,
is_const
,
is_comb
,
is_abs
HOL
Trindemossen-1