Lists, rationals, polynomials and intervals - Implementation (more functions) : Rat_poly_common.x

let x_times = function

    p -> if is_null_poly (p)

           then null_poly ()

           else cons_poly (cons_rat ("0", "1"), p)