law lt_le.key

import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32

import Base

328# a < b gives a <= b
329law lt_le.key:
330  for a: Key
331  for b: Key
332  {lt.key(a, b) == True{} : Bool} -> LE.key(a, b)

Uses (6)