law le_refl.signs
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
394law le_refl.signs:
395 for s: Bool
396 for +m: Word(31n)
397 le.signs(s, s, m, m)
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
394law le_refl.signs:
395 for s: Bool
396 for +m: Word(31n)
397 le.signs(s, s, m, m)