law signed_wrap_all_empty

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

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

60# Axes are wrapped one by one, in order, among the same limit.
61law signed_wrap_all_empty:
62  for +limit: U32
63  {Signed.wrap_all(limit, []) == [] : List<&2, U32>}