law sum_dims_axes_accepted

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

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

124law sum_dims_axes_accepted:
125  for +axes: List<&2, U32>
126  for +limit: U32
127  for inside: {Layout.bounded(axes, limit) == True{} : Bool}
128  for unique: {Layout.unique(axes) == True{} : Bool}
129  {SumDims.refusal(axes, limit) == None{} : Maybe<&2, Layout.Error>}