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