def CapAdjust.set_pie

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

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

10# the new sets; ambient capabilities no longer both permitted and
11# inheritable are lowered (capabilities(7), "Ambient")
12def CapAdjust.set_pie(s: C.CapState, +p: C.CapSet(), +i: C.CapSet(), e: C.CapSet()) -> C.CapState:
13  match s:
14    case C.CapState{op, oi, oe, b, a}:
15      C.CapState{p, i, e, b, C.CapSet.inter(C.CapSet.inter(a, p), i)}