Caps.Caps.or: def of bend-osdev-caps@0.1.0.0
Import: import bend-osdev-caps@0.1.0.0/caps.bend as Caps
Lines 551-557 of bend-osdev-caps@0.1.0.0/caps.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&start_line=551&end_line=557

import Base

# the credentials after a call: the new ones, or c if it failed
def Caps.or(r: Result<&2, &2, CapsError, CapCred>, c: CapCred) -> CapCred:
  match r:
    case Done{x}:
      x
    case Fail{e}:
      c

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapCred
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapsError