def increment_le

bendtorch-core@0.1.0.0 · src/tensor/word_conversion.bend:151

import Base

151def increment_le(+word: U32) ->
152  {Nat.is_le(U32.to_nat(U32.inc(word)), 1n+U32.to_nat(word)) == True{} : Bool}:
153  match word:
154    case U32{+bits}:
155      word_increment_le(32n, bits)