def CapSet.of

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

import Base

318# the set holding capability k alone (empty if k is not a capability)
319def CapSet.of(+k: U32) -> CapSet():
320  CapSet.of.go(Cap.valid(k), k)