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

let is_empty_list = function l -> l = []