Slice.refused: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice
Lines 162-171 of bendtorch-core@0.1.0.0/src/tensor/slice.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/slice.bend&start_line=162&end_line=171

import Base
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout

# PyTorch's checks, in its order: the axis (a rank-0 input has none), then
# the step.
def refused(inside: Bool, positive: Bool) -> Maybe<&2, Error>:
  match inside positive:
    case False{} _:
      Some{LayoutError{Layout.AxisOutOfBounds{}}}
    case True{} False{}:
      Some{StepNotPositive{}}
    case True{} True{}:
      None{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/layout.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/slice.bend&name=Error