~/jendhub

law lt_key

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

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

345# only an ordered value is below something
346law lt_key:
347  for a: Key
348  for b: Key
349  {lt.key(a, b) == True{} : Bool} -> IsKey(a)

Uses (6)

Used by (1)