def pick_u

bendtorch@1.3.0.0 · dtype.bend:32

import bendtorch@1.3.0.0/dtype.bend as Dtype
import Base

32def pick_u(b: Bool, +x: U32, +y: U32) -> U32:
33  match b:
34    case True{}:
35      x
36    case False{}:
37      y

Uses (2)

Used by (3)