Cli.env.check.done: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/cli.bend as Cli
Lines 1731-1738 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=1731&end_line=1738

import Base

# a success, or the first env value outside its choices that it bound
def env.check.done(bad: Maybe<&2, Var>, +mm: Matched) -> Result<&2, &2, ParseErr, Matched>:
  match bad:
    case None{}:
      Done{mm}
    case Some{pp}:
      (+name, +vv) = pp
      Fail{BadValue{path_of(mm), name, vv}}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Matched
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=ParseErr
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Var
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=path_of