def fish_dests

cli@0.2.0.0 · cli.bend:7051

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

7051def fish_dests(stops: List<&2, Stop>, +found: List<&2, Stop>) ->
7052    List<&2, String>:
7053  match stops:
7054    case Nil{}: Nil{}
7055    case Stop{k, words, opts, builtins, subs, slots} <> tail:
7056      List.append(&2, String,
7057        fish_dest_arms(subs, String.append(Nat.show(k), " "), words, found),
7058        fish_dests(tail, found))

Uses (7)

Used by (1)