dest_list : term -> term list

SYNOPSIS: Iteratively breaks apart a list term.
DESCRIPTION: dest_list is a term destructor for lists: dest_list(`[t1;...;tn]:(ty)list`) returns [`t1`;...;`tn`].
FAILURE CONDITIONS: Fails with dest_list if the term is not a list.
SEE ALSO: dest_cons, dest_setenum, is_cons, is_list, mk_cons, mk_list.