let
is_full =
function
Propset
(
Full
), _
->
true
|
_
->
false