let
finished =
function
`
Finished
_
->
true
|
_
->
false