def pick
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
43def pick(-T: Data, c: Bool, +a: T, +b: T) -> T:
44 match c:
45 case True{}:
46 a
47 case False{}:
48 b
Uses (1)
Used by (15)
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixgen:sat_fit
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_saturating_add
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_saturating_mul
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_saturating_sub
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_wpow
- …