		Search-engine friendly clone of the ACL2 documentation.

Header

Return the header of a 1- or 2-dimensional array

Example Form:
(header 'delta1 a)

General Form:
(header name alist)

where name is arbitrary and alist is a 1- or 2-dimensional array. This function returns the header of the array alist. The function operates in virtually constant time if alist is the semantic value of name. See arrays.

Function: header

(defun header (name l)
  (declare (xargs :guard (or (array1p name l) (array2p name l))))
  (prog2$ name (assoc-eq :header l)))