Caps.CapSetW.word_u32: def of bend-osdev-caps@0.1.0.0
Import: import bend-osdev-caps@0.1.0.0/caps.bend as Caps
Lines 373-381 of bend-osdev-caps@0.1.0.0/caps.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&start_line=373&end_line=381

import Base

# the value of the n bits of w, and the n low bits of a, as native words
def CapSetW.word_u32(n: Nat, w: Word(n)) -> U32:
  match n:
    case 0n:
      0
    case 1n+p:
      match w:
        case WCon{b, t}:
          U32.or(CapSetW.bit(b), U32.shl(CapSetW.word_u32(p, t)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shl
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapSetW.bit