def pick.u
import bend-toon-codec@0.1.0.0/src/fold.bend as Foldimport Base
155def pick.u(+b: Bool, +x: U32, +y: U32) -> U32:
156 match b:
157 case True{}:
158 x
159 case False{}:
160 y
import bend-toon-codec@0.1.0.0/src/fold.bend as Foldimport Base
155def pick.u(+b: Bool, +x: U32, +y: U32) -> U32:
156 match b:
157 case True{}:
158 x
159 case False{}:
160 y