SumDims.refused: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend as SumDims
Lines 75-84 of bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend&start_line=75&end_line=84

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

# PyTorch's refusal of the axes, permute's checks in permute's order: an axis
# at or past the limit, then an axis listed twice.
def refused(bounded: Bool, unique: Bool) -> Maybe<&2, Layout.Error>:
  match bounded unique:
    case False{} unique:
      Some{Layout.AxisOutOfBounds{}}
    case True{} False{}:
      Some{Layout.DuplicateAxis{}}
    case True{} True{}:
      None{}

Uses (3):
  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