def branch

gralha-text-scan@0.1.0.1 · scan.bend:51

import Base

51def branch(-A: Type, yes: Bool, a: Unit -> A, b: Unit -> A) -> A:
52  match yes:
53    case True{}: a(Unit{})
54    case False{}: b(Unit{})