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

let cons_open = function

    a1, a2 -> if gt_rat (a2, a1)

                then Open_inter (a1, a2)

                else failwith ("cons_open : the second argument must be greater than the first one")