~/jendhub

def at_distance

cli@0.2.0.0 · cli.bend:5740

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

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

Uses (6)

Used by (1)