def CapAdjust.ambient_is_set.go

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

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

135def CapAdjust.ambient_is_set.go(v: Bool, c: C.CapCred, x: U32) -> Result<&2, &2, C.CapsError, Bool>:
136  match v:
137    case False{}:
138      Fail{C.CapsInvalidCap{}}
139    case True{}:
140      Done{C.CapSet.has(C.CapState.ambient(C.CapCred.sets(c)), x)}