law sum_dims_duplicate_axis

bendtorch-core@0.1.0.0 · src/autograd/sum_dims_LAWS.bend:117

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

117law sum_dims_duplicate_axis:
118  for +axes: List<&2, U32>
119  for +limit: U32
120  for inside: {Layout.bounded(axes, limit) == True{} : Bool}
121  for repeated: {Layout.unique(axes) == False{} : Bool}
122  {SumDims.refusal(axes, limit) == Some{Layout.DuplicateAxis{}} : Maybe<&2, Layout.Error>}