let is_empty = function Empty -> true | _ -> false