Truth4s-length
Get the length of the truth4arr array.
In the execution this just gets the array length. The
logical definition is just a wrapper for len:
Function: truth4s$a-length
(defun truth4s$a-length (truth4arr$a)
(declare (xargs :guard (truth4arr$ap truth4arr$a)))
(len truth4arr$a))
