List of (the names of) the ACL2 functions that model the creation of Java primitive arrays from lengths.
Definition:
(defconst *atj-jprimarr-new-len-fns* '(boolean-array-new-len char-array-new-len byte-array-new-len short-array-new-len int-array-new-len long-array-new-len float-array-new-len double-array-new-len))