Type Rational

type Rational = {num: int, den: int,}

Function rational_leq

fn rational_leq(x: Rational, y: Rational) -> bool