is_const : term -> bool
STRUCTURE
Term
SYNOPSIS
Tests a term to see if it is a constant.
DESCRIPTION
If
c
is an instance of a previously declared HOL constant, then
is_const c
returns
true
; otherwise the result is
false
.
FAILURE
Never fails.
SEEALSO
mk_const
,
dest_const
,
is_var
,
is_comb
,
is_abs
HOL
Trindemossen-1