Clilist.list_seq: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/clilist.bend as Clilist
Lines 161-166 of cswap-bend-cli@0.1.0.0/clilist.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/clilist.bend&start_line=161&end_line=166

import Base
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/clibase.bend as Clibase

def list_seq(m: Maybe<&2, Json.Json>, +ctx: SBase.Ctx, +json: Bool) -> Act.of(Cmd.Out):
  match m:
    case None{}:
      Clibase.done(empty_list(json))
    case Some{seq}:
      list_run(ctx, seq, json)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clibase.bend&name=done
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clilist.bend&name=empty_list
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clilist.bend&name=list_run
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=Ctx