def pick.u

bend-toon-codec@0.1.0.0 · src/fold.bend:155

import bend-toon-codec@0.1.0.0/src/fold.bend as Fold
import Base

155def pick.u(+b: Bool, +x: U32, +y: U32) -> U32:
156  match b:
157    case True{}:
158      x
159    case False{}:
160      y

Uses (2)

Used by (1)