def CapSetW.u32_word

bend-osdev-caps@0.1.0.0 · caps.bend:383

import Base

383def CapSetW.u32_word(n: Nat, +a: U32) -> Word(n):
384  match n:
385    case 0n:
386      WNil{}
387    case 1n+p:
388      WCon{U32.is_eq(U32.and(a, 1), 1), CapSetW.u32_word(p, U32.shr(a))}