let
finished_time =
function
|
`
Finished
{log; _}
->
Some
log.time
|
_
->
None