law signed_wrap_all_step

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

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

65law signed_wrap_all_step:
66  for +limit: U32
67  for +head: Signed.Position
68  for +tail: List<&2, Signed.Position>
69  {Signed.wrap_all(limit, head <> tail) == Signed.wrap(limit, head) <> Signed.wrap_all(limit, tail) : List<&2, U32>}