def said.when

ezx@1.11.0.0 · src/tool/run.bend:81

import Base

81# what a command that succeeded answered, read only then; "" when it failed
82def said.when(ok: Bool, read: Unit -> String) -> String:
83  match ok:
84    case True{}:
85      read(Unit{})
86    case False{}:
87      ""