def incif

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/word.bend:189

import Base

189def incif(+m: Nat, c: Bool, b: Word(m)) -> Word(m):
190  match c:
191    case True{}:
192      Word.inc(m, b)
193    case False{}:
194      b