def pk_f

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64round.bend:40

import Base
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as SF

40def pk_f(-T: Data, +a: T, +b: T) -> {SF.pick(T, False{}, a, b) == b : T}:
41  {==}