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.