def CapAdjust.capset.r1

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

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

51# the new permitted set must be within the old one
52def CapAdjust.capset.r1(ok: Bool, +c: C.CapCred, +e: C.CapSet(), +p: C.CapSet(), i: C.CapSet()) -> Result<&2, &2, C.CapsError, C.CapCred>:
53  match ok:
54    case False{}:
55      Fail{C.CapsPermittedGrows{}}
56    case True{}:
57      CapAdjust.capset.r2(C.CapSet.subset(e, p), c, e, p, i)