is_const

Term.is_const : term -> bool

Tests a term to see if it is a constant.

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.

See also

Term.mk_const, Term.dest_const, Term.is_var, Term.is_comb, Term.is_abs