type Rat
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as F64import Base
573# (sign, numerator, exponent of the denominator)
574type Rat is Data:
575 Rat{neg: Bool, num: Nat, den: Nat}
Uses (2)
Used by (14)
- bend-collections-laws-math@1.0.0.0/spec/math/f64:rtriple
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64ratio:BIGR
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64ratio:FINR
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64ratio:SMALL
- bend-collections-laws-math@1.0.0.0/spec/math/f64:as_ratio
- …