let
string_of_status =
function
|
Unknown
->
" "
|
Up_to_date
->
"✔"
|
Outdated
->
"✘"