def us.pick

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

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

184def us.pick(+b: Bool, +x: Us, +y: Us) -> Us:
185  match b:
186    case True{}:
187      x
188    case False{}:
189      y

Uses (2)

Used by (2)