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