def ASet.sz

bend-ml-tensor-array@0.1.19.0 · main.bend:1933

import Base

1933# ASet.sz(T, a): the size of a as a plain U32, the second component of the pair Array.size returns
1934def ASet.sz(-T: Data, a: Array<T>) -> U32:
1935  Pair.snd(Array<T>, U32, Array.size(T, a))