1\DOC is_const
2
3\TYPE {is_const : term -> bool}
4
5\SYNOPSIS
6Tests a term to see if it is a constant.
7
8\DESCRIBE
9If {c} is an instance of a previously declared HOL constant, then
10{is_const c} returns {true}; otherwise the result is {false}.
11
12\FAILURE
13Never fails.
14
15\SEEALSO
16Term.mk_const, Term.dest_const, Term.is_var, Term.is_comb, Term.is_abs.
17\ENDDOC
18