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.