is_const : (term -> bool)
SYNOPSIS
Tests a term to see if it is a constant.
DESCRIBE
is_const "const:ty"
returns
true
. If the term is not a constant the result is
false
.
FAILURE
Never fails.
SEEALSO
mk_const
,
dest_const
,
is_var
,
is_comb
,
is_abs
HOL
Kananaskis 0