law slice_start_clamped

bendtorch-core@0.1.0.0 · src/tensor/slice_LAWS.bend:37

import Base
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice

37law slice_start_clamped:
38  for +extent: Nat
39  for +start: Nat
40  for +stop: Nat
41  for past: {Nat.is_le(extent, start) == True{} : Bool}
42  {low(Slice.bounds(extent, start, stop)) == extent : Nat}