def CapSet.has.go

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

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

import Base

322def CapSet.has.go(v: Bool, s: CapSet(), k: U32) -> Bool:
323  match v:
324    case False{}:
325      False{}
326    case True{}:
327      CapSet.subset(CapSetW.single(k), s)

Uses (5)

Used by (2)