def CapExec.fin

bend-osdev-caps@0.1.0.0 · exec.bend:160

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

160def CapExec.fin(ok: Bool, c: C.CapCred, +euid: U32, s: C.CapState) -> Result<&2, &2, C.CapsError, C.CapCred>:
161  match ok:
162    case False{}:
163      Fail{C.CapsCapabilityDumb{}}
164    case True{}:
165      match c:
166        case C.CapCred{r, e, sv, nr, na, st}:
167          Done{C.CapCred{r, euid, euid, nr, na, s}}