array2
array2
Precondition
pre safety: length0 ≥ 0 safety: length1 ≥ 0 safety: length0 *? length1 >=? 0
Type Parameters
Fields
Functions
group the elements of this sequence by a key of type K
f determines the key of an element
f determines the key of an element
0.099dev (GIT hash a1331a3dc7ff37424401d3c7d0dba5be1302516f)
array provides two-dimensional immutable arrays. These are actually
one-dimensional immutable arrays with an additional access function with
two index parameters.