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