def CapCred.with_sets

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

import Base

481def CapCred.with_sets(c: CapCred, st: CapState) -> CapCred:
482  match c:
483    case CapCred{r, e, s, nr, na, x}:
484      CapCred{r, e, s, nr, na, st}