def CapSet.of.go

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

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

import Base

311def CapSet.of.go(v: Bool, k: U32) -> CapSet():
312  match v:
313    case False{}:
314      CapSet.empty()
315    case True{}:
316      CapSetW.single(k)

Uses (5)

Used by (2)