def beyond

bendtorch-core@0.1.0.0 · src/tensor/signed.bend:185

import Base

185# A product past the count: the inferred size is 0 on an empty input, and no
186# size fits any other.
187def beyond(count: Nat, +extents: List<&2, Extent>) -> Result<&2, &2, Error, List<&2, U32>>:
188  match count:
189    case 0n:
190      Done{filled(extents, 0)}
191    case 1n+rest:
192      Fail{count_mismatch()}