law le_key_r
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
378law le_key_r:
379 for a: Key
380 for b: Key
381 LE.key(a, b) -> IsKey(b)
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
378law le_key_r:
379 for a: Key
380 for b: Key
381 LE.key(a, b) -> IsKey(b)