def wv.bitw

bend-osdev-word64@0.1.1.0 · proof_value.bend:276

import Base

276# a carry as a word: 1 or 0
277def wv.bitw(n: Nat, b: Bool) -> Word(n):
278  match n:
279    case 0n:
280      WNil{}
281    case 1n+p:
282      WCon{b, Word.zero(p)}