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