Major Section: ARRAYS
Example Form: (array1p 'delta1 a) General Form: (array1p name alist)where
name and alist are arbitrary objects. This function
returns t if alist is a 1-dimensional ACL2 array. Otherwise it
returns nil. The function operates in constant time if alist is the
semantic value of name. See arrays.