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.