def choose

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

import Base

5def choose(-A: Type, yes: Bool, a: A, b: A) -> A:
6  match yes:
7    case True{}: a
8    case False{}: b