def exacts

bendtorch-core@0.1.0.0 · src/tensor/signed_LAWS.bend:17

import Base
import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed

17# Exact sizes, the reshape request of the unsigned reshape.
18def exacts(dimensions: List<&2, U32>) -> List<&2, Signed.Extent>:
19  match dimensions:
20    case Nil{}:
21      Nil{}
22    case extent <> rest:
23      Signed.Exact{extent} <> exacts(rest)