Rational
rational_leq
type Rational = {num: int, den: int,}
fn rational_leq(x: Rational, y: Rational) -> bool