~/jendhub

def argv_order

cli@0.2.0.0 · cli.bend:4044

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

4044def argv_order(events: List<&2, ScanEvent>,
4045    ids: List<&2, String>) -> List<&2, String>:
4046  match events:
4047    case Nil{}: ids
4048    case event <> tail:
4049      argv_order(tail, append_event_id(event_id(event), ids))

Uses (5)

Used by (1)