def CapAdjust.bset_read.go

bend-osdev-caps@0.1.0.0 · adjust.bend:84

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

84def CapAdjust.bset_read.go(v: Bool, c: C.CapCred, x: U32) -> Result<&2, &2, C.CapsError, Bool>:
85  match v:
86    case False{}:
87      Fail{C.CapsInvalidCap{}}
88    case True{}:
89      Done{C.CapSet.has(C.CapState.bounding(C.CapCred.sets(c)), x)}