def stops

cli@0.2.0.0 · cli.bend:6470

import cli@0.2.0.0/cli.bend as Cli

import Base

6470def stops(places: List<&2, Place>, +k: Nat,
6471    +lists: List<&2, List<&2, String>>) -> List<&2, Stop>:
6472  match places:
6473    case Nil{}: Nil{}
6474    case place <> tail:
6475      stop_of(place, k, lists) <> stops(tail, (k + 1n : Nat), lists)

Uses (7)

Used by (2)