def stop_of

cli@0.2.0.0 · cli.bend:6461

import Base

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