rational
- A rational numberid
- The identity functionrational_leq
rational
type rational = {num: int, den: int,}
A rational number
id
pure fn id<T: copy>(x: T) -> T
The identity function
rational_leq
pure fn rational_leq(x: rational, y: rational) -> bool