ARRAY2P

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