def distinct

cli@0.2.0.0 · cli.bend:7791

import cli@0.2.0.0/cli.bend as Cli

import Base

7791# kept, then each name not yet in it.
7792def distinct(names: List<&2, String>, kept: List<&2, String>) ->
7793    List<&2, String>:
7794  match names:
7795    case Nil{}: kept
7796    case name <> tail: distinct(tail, append_unique(kept, name))

Uses (3)

Used by (1)

cli@0.2.0.0/cli:vars