Adjust.CapAdjust.set_pie: def of bend-osdev-caps@0.1.0.0
Import: import bend-osdev-caps@0.1.0.0/adjust.bend as Adjust
Lines 10-15 of bend-osdev-caps@0.1.0.0/adjust.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-caps@0.1.0.0/adjust.bend&start_line=10&end_line=15

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

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapSet
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapSet.inter
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapState