def fpick
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
945def fpick(+x: F64, +y: F64, first: Bool) -> F64:
946 match first:
947 case True{}:
948 x
949 case False{}:
950 y
Uses (2)
Used by (5)
- bend-collections-laws-math@1.0.0.0/src/math/f64:fmax_z
- bend-collections-laws-math@1.0.0.0/src/math/f64:fmin_z
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64next:fpk
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64next:fmax_z_c
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64next:fmin_z_c