~/jendhub

def append_event_id

cli@0.2.0.0 · cli.bend:4038

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

4038def append_event_id(found: Maybe<&2, String>,
4039    ids: List<&2, String>) -> List<&2, String>:
4040  match found:
4041    case None{}: ids
4042    case Some{id}: append_unique(ids, id)

Uses (4)

Used by (1)