Cli.stop_of: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 6461-6468 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=6461&end_line=6468

import Base

def stop_of(place: Place, k: Nat, +lists: List<&2, List<&2, String>>) ->
    Stop:
  match place:
    case Place{+words, +items, +globals}:
      Stop{k, words, List.append(&2, Opt, arg_opts(items, lists),
          arg_opts(globals, lists)),
        builtin_opts(items, globals, List.is_empty(&2, String, words)),
        sub_entries(items), arg_slots(items, 1n, lists)}

Uses (12):
  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=List.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Opt
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Place
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Stop
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_opts
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_slots
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=builtin_opts
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=sub_entries