def pick
import bend-collections-laws-crypto@1.0.0.0/src/math/generic.bend as Genericimport Base
72def pick(-T: Data, c: Bool, +a: T, +b: T) -> T:
73 match c:
74 case True{}:
75 a
76 case False{}:
77 b
Uses (1)
Used by (8)
- bend-collections-laws-crypto@1.0.0.0/src/math/generic:max
- bend-collections-laws-crypto@1.0.0.0/src/math/generic:min
- bend-collections-laws-crypto@1.0.0.0/proofs/math/typed/u32:max_c
- bend-collections-laws-crypto@1.0.0.0/proofs/math/typed/u32:max_val
- bend-collections-laws-crypto@1.0.0.0/proofs/math/typed/u32:max_val_c
- …