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