def entry_dests

cli@0.2.0.0 · cli.bend:6501

import Base

6501# Each subcommand name's path, once per name.
6502def entry_dests(entries: List<&2, Entry>, +words: List<&2, String>) ->
6503    List<&2, String>:
6504  match entries:
6505    case Nil{}: Nil{}
6506    case Entry{name, names, about} <> tail:
6507      List.append(&2, String,
6508        dests(names, String.join(List.append(&2, String, words, [name]), " ")),
6509        entry_dests(tail, words))