def err.when

ezsys@0.1.0.0 · src/errno.bend:66

import Base

66# what is written when hit holds, else what the rest writes
67def err.when(hit: Bool, yes: Unit -> String, no: Unit -> String) -> String:
68  match hit:
69    case True{}:
70      yes(Unit{})
71    case False{}:
72      no(Unit{})