let
ran_successfully =
function
`
Ran_successfully
_
->
true
|
_
->
false