List of (the names of) the ACL2 functions that model the conversion to Java primitive arrays from ACL2 lists.
Definition:
(defconst *atj-jprimarr-conv-fromlist-fns* '(boolean-array-from-boolean-list char-array-from-ubyte16-list byte-array-from-sbyte8-list short-array-from-sbyte16-list int-array-from-sbyte32-list long-array-from-sbyte64-list))