~/jendhub

def HardOk

bend-lawful-stdlib@0.1.0.0 · src/float/sf32.bend:148

import bend-lawful-stdlib@0.1.0.0/src/float/sf32.bend as Sf32
import Base
import bend-lawful-stdlib@0.1.0.0/src/float/num.bend as Num

148# the hardware assumption: Base's F32.add and F32.mul are correctly rounded
149def HardOk() -> Type:
150  Num.Correct<F32, hard()>

Uses (3)

Used by (0)

No other definition uses this definition.