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

let string_of_rat = function Rat r -> Num.string_of_num r