~/jendhub

def events_inherited

cli@0.2.0.0 · cli.bend:3044

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

3044def events_inherited(events: List<&2, ScanEvent>,
3045    +globals: List<&2, SpecItem>) -> List<&2, ScanEvent>:
3046  match events:
3047    case Nil{}: Nil{}
3048    case +event <> tail:
3049      events_kept(event_inherited(event_id(event), globals), event,
3050        events_inherited(tail, globals))

Uses (6)

Used by (1)