def Caps.bset_read

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

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

91# whether x is in the bounding set
92def Caps.bset_read(k: C.CapsKernel, c: C.CapCred, +x: U32) -> Result<&2, &2, C.CapsError, Bool>:
93  CapAdjust.bset_read.go(C.CapsKernel.valid(k, x), c, x)