Args.out: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/args.bend as Args
Lines 180-186 of bolt@1.27.0.0/src/args.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/args.bend&start_line=180&end_line=186

import Base
import shake@0.6.0.0/main.bend as Shake

# what a parse result does
def out(rr: Result<&2, &2, Shake.ParseErr, Shake.Matched>) -> Out:
  match rr:
    case Fail{e}:
      out.fail(e)
    case Done{m}:
      out.done(m)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=out.done
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=out.fail
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=Matched
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=ParseErr