let
is_zero_slack =
function
Slack
(_,
Zero
)
->
true
|
_
->
false