def ex.result

bend-osdev-caps@0.1.0.0 · PROOF.bend:805

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

805def ex.result(+ok: Bool, +c: C.CapCred, +eu: U32, +s: C.CapState) -> {C.Caps.sets_or(E.CapExec.fin(ok, c, eu, s), s) == s : C.CapState}:
806  match ok c:
807    case False{} c:
808      {==}
809    case True{} C.CapCred{r, e, sv, nr, na, st}:
810      {==}