def show

bend-osdev-caps@0.1.0.0 · check.bend:32

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

32def show(r: Result<&2, &2, C.CapsError, C.CapCred>) -> String:
33  match r:
34    case Fail{e}:
35      show_err(e)
36    case Done{C.CapCred{ru, eu, sv, nr, na, s}}:
37      "euid=" ++ U32.show(eu) ++ " " ++ show_sets(s)