def head.of

import ezx@1.11.0.0/src/ez/prove.bend as Prove

import Base

56# the first line of a run's output
57def head.of(ls: List<&2, String>) -> String:
58  match ls:
59    case []:
60      ""
61    case h <> _t:
62      h

Uses (2)

List
String

Used by (1)

ezx@1.11.0.0/src/ez/prove:head