def pick
import bend-collections-laws-math@1.0.0.0/spec/math/generic.bend as Genericimport Base
112def pick(-T: Data, c: Bool, +a: T, +b: T) -> T:
113 match c:
114 case True{}:
115 a
116 case False{}:
117 b
Uses (1)
Used by (12)
- bend-collections-laws-math@1.0.0.0/spec/math/generic:binpow
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/float:pick_eq
- bend-collections-laws-math@1.0.0.0/spec/math/generic:FMax.select
- bend-collections-laws-math@1.0.0.0/spec/math/generic:FMin.select
- bend-collections-laws-math@1.0.0.0/spec/math/generic:FSign.select
- …