Name of the method generated by atj-gen-shallow-primarray-write-method.
(atj-primarray-write-method-name type) → name
See that function for details.
Function:
(defun atj-primarray-write-method-name (type) (declare (xargs :guard (primitive-typep type))) (let ((__function__ 'atj-primarray-write-method-name)) (declare (ignorable __function__)) (primitive-type-case type :boolean "writeBooleanArray" :char "writeCharArray" :byte "writeByteArray" :short "writeShortArray" :int "writeIntArray" :long "writeLongArray" :float "writeFloatArray" :double "writeDoubleArray")))
Theorem:
(defthm stringp-of-atj-primarray-write-method-name (b* ((name (atj-primarray-write-method-name type))) (stringp name)) :rule-classes :rewrite)