let
is_zero =
function
Z
->
true
|
_
->
false