~/jendhub

law notlt_swap

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

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

297law notlt_swap:
298  for c: Cmp
299  {Cmp.is_lt(c) == False{} : Bool} -> NotGT(swap(c))

Uses (7)

Used by (1)