ARRAY1P

recognize a 1-dimensional array
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.