~/jendhub

def CapSetW.single

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

import bend-osdev-caps@0.1.0.0/caps.bend as Caps
import Base

307# the set holding capability k alone (k is 0 to 40)
308def CapSetW.single(+k: U32) -> CapSet():
309  CapSetW.single.go(U32.is_lt(k, 32), k)

Uses (4)

Used by (2)