law signed_read_flat_wraps

bendtorch-core@0.1.0.0 · src/tensor/signed_LAWS.bend:141

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed

141law signed_read_flat_wraps:
142  for +shape: Shape.Shape
143  for tensor: Core.Tensor<shape>
144  for +index: Signed.Position
145  {Signed.read_flat(shape, tensor, index) == Core.read_flat(shape, tensor, Signed.wrap(Shape.count(shape), index)) :
146    Core.Tensor<shape> & Result<&2, &2, Core.Error, F32>}