Skip to main content

arr_ext_array2d_ty

oxilean_std::array::functions_2

Function arr_ext_array2d_ty 

Source 
pub fn arr_ext_array2d_ty() -> Expr
Expand description

Array2D : Type → Nat → Nat → Type

A two-dimensional array of rows × cols elements of type α.