type Bounds

bendtorch-core@0.1.0.0 · src/tensor/slice.bend:47

import Base

47# A slice's start and stop after PyTorch's clamp to an axis of extent n:
48# start' = min(start, n), stop' = max(start', min(stop, n)).
49type Bounds is Data:
50  Bounds{start: Nat, stop: Nat}