is_cons

listSyntax.is_cons : (term -> bool)

Tests a term to see if it is an application of CONS.

is_cons returns true of a term representing a non-empty list. Otherwise it returns false.

Failure

Never fails.

See also

listSyntax.mk_cons, listSyntax.dest_cons, listSyntax.mk_list, listSyntax.dest_list, listSyntax.is_list