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