law bits_lt

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

import Base

486law bits_lt:
487  for ~lt: LtOk()
488  for +a: F32
489  for +b: F32
490  for -c: Bool
491  for e: {F32.is_lt(a, b) == c : Bool}
492  {lt_bits(a, b) == c : Bool}