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