def LtOk

bend-lawful-stdlib@0.1.0.0 · src/float/f32.bend:477

import Base

477# the hardware's < is IEEE 754's
478def LtOk() -> Type:
479  @a: F32 -> @b: F32 -> {F32.is_lt(a, b) == lt_bits(a, b) : Bool}