def Mag.if

bend-kit-bignum@0.1.0.0 · bigint.bend:10

import Base

10# A match cannot scrutinize a computed Bool, so each branch is a closure.
11def Mag.if(-A: Type, c: Bool, t: Unit -> A, e: Unit -> A) -> A:
12  match c:
13    case True{}:
14      t(Unit{})
15    case False{}:
16      e(Unit{})