law le_refl.key
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
408law le_refl.key:
409 for k: Key
410 IsKey(k) -> LE.key(k, k)
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
408law le_refl.key:
409 for k: Key
410 IsKey(k) -> LE.key(k, k)