law sum_dims_rank_limit

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

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend as SumDims

104law sum_dims_rank_limit:
105  for +extent: U32
106  for +rest: List<&2, U32>
107  {SumDims.limit(extent <> rest) == U32.from_nat(Shape.rank_dimensions(extent <> rest)) : U32}