294 bytes added
, 15:46, 6 March 2017
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Array.colcount() ==
Number of columns in this array.
|4,5|.colcount()
5
See also [[Array.rowcount()]]