law signed_first_kept

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

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

25# A position counted from the start is kept.
26law signed_first_kept:
27  for +limit: U32
28  for +k: U32
29  {Signed.wrap(limit, Signed.First{k}) == k : U32}