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