FIX-TRUE-LIST

coerce to a true list
Major Section:  ACL2-BUILT-INS

Fix-true-list is the identity function on true-listp objects. It converts every list to a true list by dropping the final cdr, and it converts every atom to nil.

To see the ACL2 definition of this function, see pf.