law le_key_l
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
362law le_key_l:
363 for a: Key
364 for b: Key
365 LE.key(a, b) -> IsKey(a)
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
362law le_key_l:
363 for a: Key
364 for b: Key
365 LE.key(a, b) -> IsKey(a)