law bool_cmp_refl
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
217law bool_cmp_refl:
218 for x: Bool
219 {EQ{} == Bool.cmp(x, x) : Cmp}
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
217law bool_cmp_refl:
218 for x: Bool
219 {EQ{} == Bool.cmp(x, x) : Cmp}