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.