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

let midpoint = function

  i -> div_rat (add_rat (upper_bound (i), lower_bound (i)), cons_rat ("2", "1"))