def gather_events

cli@0.2.0.0 · cli.bend:3699

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

3699def gather_events(events: List<&2, ScanEvent>, +id: String,
3700    +kind: UsageKind, gather: Gather) -> Gather:
3701  match events:
3702    case Nil{}: gather
3703    case event <> tail:
3704      gather_events(tail, id, kind,
3705        gather_event(event, id, kind, gather))

Uses (6)

Used by (1)