~/jendhub

type Correct

bend-lawful-stdlib@0.1.0.0 · src/float/num.bend:47

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

47# an implementation that is correctly rounded everywhere
48type Correct<-T: Data, -i: Impl<T>> is Type:
49  Correct{add: @a: T -> @b: T -> AddOk(~T, ~i, a, b), mul: @a: T -> @b: T -> MulOk(~T, ~i, a, b)}

Uses (3)

Used by (1)