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