let
is_empty =
function
Propset
(
Empty
), _
->
true
|
_
->
false