def user

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

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

46def user(s: C.CapState) -> C.CapCred:
47  C.CapCred{1000, 1000, 1000, False{}, False{}, s}