Lists, rationals, polynomials and intervals - Implementation (types and basic operations) : Rat_poly.null

let null_poly = function () -> P (empty_list ())