Lists, rationals, polynomials and intervals - Implementation (types and basic operations) : Rat_inter.upper

let upper_bound = function

  Open_inter (_, a) -> a |

  Singleton_inter (a) -> a