def pick
import bend-collections-laws-math@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 (18)
- bend-collections-laws-math@1.0.0.0/src/math/generic:max
- bend-collections-laws-math@1.0.0.0/src/math/generic:min
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/float:pick_eq
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int:min_c
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64int:min_c
- …