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

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

# Each set variable among names, in order.
def read_vars(names: List<&2, String>) -> IO(List<&2, Cli.Var>):
  match names:
    case Nil{}: IO.pure(List<&2, Cli.Var>, [])
    case +name <> tail:
      do IO<List<&2, Cli.Var>>:
        got : Result<&1, &1, U32 & String, String> <- IO.get_env(name)
        rest : List<&2, Cli.Var> <- read_vars(tail)
        return List.append(&2, Cli.Var, var_found(name, got), rest)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.get_env
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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=cli@0.2.0.0/cli.bend&name=Var
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/run.bend&name=var_found