~/jendhub

def entry_names

cli@0.2.0.0 · cli.bend:6449

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

6449def entry_names(entries: List<&2, Entry>) -> List<&2, String>:
6450  match entries:
6451    case Nil{}: Nil{}
6452    case Entry{name, names, about} <> tail:
6453      List.append(&2, String, names, entry_names(tail))

Uses (4)

Used by (1)