def kept_dimensions
import bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend as SumDimsimport Base
45def kept_dimensions(+axes: List<&2, U32>, dimensions: List<&2, U32>) -> List<&2, U32>:
46 kept_from(axes, dimensions, 0)
Uses (3)
Used by (5)
- bendtorch-core@0.1.0.0/src/autograd/sum_dims:plan_checked
- bendtorch-core@0.1.0.0/src/autograd/sum_dims_LAWS:PlanKeeps
- bendtorch-core@0.1.0.0/src/autograd/sum_dims_PROOF:built_keeps
- bendtorch-core@0.1.0.0/src/autograd/sum_dims_PROOF:checked_keeps
- bendtorch-core@0.1.0.0/src/autograd/sum_dims_LAWS:sum_dims_kept_start