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