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