is_cons : (term -> bool)
- SYNOPSIS
-
Tests a term to see if it is an application of CONS.
- DESCRIBE
-
is_cons returns true of a term representing a non-empty list. Otherwise it
returns false.
- FAILURE
-
Never fails.
- SEEALSO mk_cons,
dest_cons,
mk_list,
dest_list,
is_list
HOL Kananaskis 0