def refusal
import bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend as SumDimsimport Base
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
86def refusal(+axes: List<&2, U32>, +limit: U32) -> Maybe<&2, Layout.Error>:
87 refused(Layout.bounded(axes, limit), Layout.unique(axes))
Uses (7)
Used by (6)
- bendtorch-core@0.1.0.0/src/autograd/sum_dims:plan
- bendtorch-core@0.1.0.0/src/autograd/sum_dims_LAWS:sum_dims_axes_accepted
- bendtorch-core@0.1.0.0/src/autograd/sum_dims_LAWS:sum_dims_axis_out_of_bounds
- bendtorch-core@0.1.0.0/src/autograd/sum_dims_LAWS:sum_dims_duplicate_axis
- bendtorch-core@0.1.0.0/src/autograd/sum_dims_LAWS:sum_dims_plan_dimensions
- …