		Search-engine friendly clone of the ACL2 documentation.

Atj-java-primitive-arrays

atj-jprimarr-length-fns

List of (the names of) the ACL2 functions that model the retrieval of lengths of Java primitive arrays.

Definition: *atj-jprimarr-length-fns*

(defconst *atj-jprimarr-length-fns*
  '(boolean-array-length char-array-length
                         byte-array-length short-array-length
                         int-array-length long-array-length
                         float-array-length double-array-length))