def cond

cswap-bend-cli@0.1.0.0 · act.bend:35

import Base

35# a when `c`, else b.
36def cond(-A: Type, c: Bool, a: of(A), b: of(A)) -> of(A):
37  match c:
38    case True{}:
39      a
40    case False{}:
41      b