def W64.sel
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
113def W64.sel(b: Bool, x: W64, y: W64) -> W64:
114 match b:
115 case True{}:
116 x
117 case False{}:
118 y
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
113def W64.sel(b: Bool, x: W64, y: W64) -> W64:
114 match b:
115 case True{}:
116 x
117 case False{}:
118 y