Cli.at_distance: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 5740-5745 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=5740&end_line=5745

import Base

def at_distance(found: List<&2, Scored>, +d: Nat) -> List<&2, String>:
  match found:
    case Nil{}: Nil{}
    case Scored{dist, name} <> tail:
      +rest = at_distance(tail, d)
      Bool.pick(List<&2, String>, Nat.is_eq(dist, d), name <> rest, rest)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Scored