def bounds
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Sliceimport Base
52def bounds(+extent: Nat, +start: Nat, +stop: Nat) -> Bounds:
53 +low = Nat.min(start, extent)
54 Bounds{low, Nat.max(low, Nat.min(stop, extent))}
Uses (4)
Used by (6)
- bendtorch-core@0.1.0.0/src/tensor/slice:viewed
- bendtorch-core@0.1.0.0/src/tensor/slice_LAWS:slice_start_clamped
- bendtorch-core@0.1.0.0/src/tensor/slice_LAWS:slice_start_kept
- bendtorch-core@0.1.0.0/src/tensor/slice_LAWS:slice_stop_clamped
- bendtorch-core@0.1.0.0/src/tensor/slice_LAWS:slice_stop_empty
- …