~/jendhub

law min_le_r.go

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

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

501law min_le_r.go:
502  for ~lt: LtOk()
503  for +a: F32
504  for +b: F32
505  for c: Bool
506  for e: {F32.is_lt(a, b) == c : Bool}
507  for bb: LE(b, b)
508  LE(Bool.pick(F32, c, a, b), b)

Uses (9)

Used by (1)