def ek.pick

bend-toon-codec@0.1.0.0 · src/text.bend:208

import bend-toon-codec@0.1.0.0/src/text.bend as Text
import Base

208def ek.pick(+b: Bool, +x: Ek, +y: Ek) -> Ek:
209  match b:
210    case True{}:
211      x
212    case False{}:
213      y

Uses (2)

Used by (4)