law slice_length_reaches

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

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

80law slice_length_reaches:
81  for +start: Nat
82  for +stop: Nat
83  for +step: Nat
84  for positive: {Nat.is_lt(0n, step) == True{} : Bool}
85  {Nat.is_le(stop, Nat.add(start, Nat.mul(Slice.length(Slice.Bounds{start, stop}, step), step))) == True{} : Bool}