Caps.CapSetW: type of bend-osdev-caps@0.1.0.0
Import: import bend-osdev-caps@0.1.0.0/caps.bend as Caps
Lines 254-262 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=254&end_line=262

import Base

# A set is two words: capabilities 0 to 31 are the bits of a native U32 (bit
# k is capability k), and capabilities 32 to 40 a Word(9n) (bit j is
# capability 32 + j). Ten machine words, where a Word(41n) cost forty-one
# (and a CapState of five of them was more than Bend's C backend compiles:
# bendlang/bend#1069). The high part is exactly nine bits, so every value of
# the type is a set of capabilities 0 to 40, with one representation each.
# Internal: use the CapSet defs.
type CapSetW is Data:
  CapSetW{lo: U32, hi: Word(9n)}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word