let
already_done =
function
`
Already_done
_
->
true
|
_
->
false