def by_distance

cli@0.2.0.0 · cli.bend:5747

import cli@0.2.0.0/cli.bend as Cli

import Base

5747def by_distance(levels: Nat, +d: Nat, +found: List<&2, Scored>) ->
5748    List<&2, String>:
5749  match levels:
5750    case 0n: Nil{}
5751    case 1n+more:
5752      List.append(&2, String, at_distance(found, d),
5753        by_distance(more, (d + 1n : Nat), found))

Uses (7)

Used by (1)

cli@0.2.0.0/cli:suggest