Lists, rationals, polynomials and intervals - Implementation (types and basic operations) : List_1.empty

let empty_list = function () -> []