Lists, rationals, polynomials and intervals - Implementation (types and basic operations) : Rat.le

let le_rat = function Rat r1, Rat r2 -> Num.le_num r1 r2