def eqflip

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64cmp.bend:264

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

264def eqflip(+c: Cmp) -> {Cmp.is_eq(c) == Cmp.is_eq(SF.flip(c)) : Bool}:
265  match c:
266    case LT{}:
267      {==}
268    case EQ{}:
269      {==}
270    case GT{}:
271      {==}