law signed_axes_bounded

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

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

53# So a list of wrapped axes passes the operations' range check
54# (Layout.bounded) exactly when every signed axis is in range.
55law signed_axes_bounded:
56  for +limit: U32
57  for +positions: List<&2, Signed.Position>
58  {Layout.bounded(Signed.wrap_all(limit, positions), limit) == Signed.all_inside(limit, positions) : Bool}