law signed_bound_first

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

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

326# A slice's start and stop, PyTorch's get_slice_bounds before its clamp to
327# the axis: a position counted from the start is kept; Last{k}, the position
328# d = -1 - k, becomes d + limit in range, and 0 below -limit.
329law signed_bound_first:
330  for +limit: U32
331  for +k: U32
332  {Signed.bound(limit, Signed.First{k}) == k : U32}