def CapState.with_bounding

bend-osdev-caps@0.1.0.0 · caps.bend:434

import Base

434def CapState.with_bounding(s: CapState, b: CapSet()) -> CapState:
435  match s:
436    case CapState{p, i, e, x, a}:
437      CapState{p, i, e, b, a}