let
verified_success =
function
`
Verified_success
_
->
true
|
_
->
false