Run.ended: def of cli@0.2.0.0
Import: import cli@0.2.0.0/run.bend as Run
Lines 105-108 of cli@0.2.0.0/run.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/run.bend&start_line=105&end_line=108

import Base
import cli@0.2.0.0/cli.bend as Cli

# §7.2 step 5: act's code, mapped by Cli.act_exit.
def ended(r: (U32 & String)) -> IO(Unit):
  match r:
    case (code, err): finish(code, "", err)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/run.bend&name=finish