law slice_stop_empty

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

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

61law slice_stop_empty:
62  for +extent: Nat
63  for +start: Nat
64  for +stop: Nat
65  for before: {Nat.is_le(stop, start) == True{} : Bool}
66  {high(Slice.bounds(extent, start, stop)) == low(Slice.bounds(extent, start, stop)) : Nat}