~/jendhub

def ended

cli@0.2.0.0 · run.bend:105

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

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

Uses (7)

Used by (1)