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

let lower_bound = function

  Open_inter (a, _) -> a |

  Singleton_inter (a) -> a