law increment_le

bendtorch-core@0.1.0.0 · src/tensor/word_conversion_LAWS.bend:38

import Base

38law increment_le:
39  for +word: U32
40  {Nat.is_le(U32.to_nat(U32.inc(word)), 1n+U32.to_nat(word)) == True{} : Bool}