pub fn arr_ext_array2d_ty() -> Expr
Array2D : Type → Nat → Nat → Type
A two-dimensional array of rows × cols elements of type α.
rows × cols
α