law signed_last_outside

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

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

39# Below -limit, it becomes limit itself, which every check refuses.
40law signed_last_outside:
41  for +limit: U32
42  for +k: U32
43  for outside: {U32.is_lt(k, limit) == False{} : Bool}
44  {Signed.wrap(limit, Signed.Last{k}) == limit : U32}