		Search-engine friendly clone of the ACL2 documentation.

Atj-java-primitive-arrays

atj-jprimarr-new-init-fns

List of (the names of) the ACL2 functions that model the creation of Java primitive arrays from components.

We exclude the functions that model the construction of float and double values, because we only have abstract models of those values for now.

Definition: *atj-jprimarr-new-init-fns*

(defconst *atj-jprimarr-new-init-fns*
  '(boolean-array-new-init char-array-new-init
                           byte-array-new-init short-array-new-init
                           int-array-new-init long-array-new-init))