def CapSetW.single.go

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

import Base

300def CapSetW.single.go(low: Bool, +k: U32) -> CapSet():
301  match low:
302    case True{}:
303      CapSetW{U32.shln(1, U32.to_nat(k)), Word.zero(9n)}
304    case False{}:
305      CapSetW{0, CapBits.single(9n, U32.to_nat(U32.sub(k, 32)))}