law sum_dims_every_axis

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

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

51# An empty axis list reduces every axis, as PyTorch's dim=[]; a listed axis
52# is reduced exactly when it is in the list.
53law sum_dims_every_axis:
54  for +axis: U32
55  {SumDims.reduces([], axis) == True{} : Bool}