HEADER.html -- ACL2 Version 6.3

### HEADER

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

    Major Section:  ARRAYS

    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.