let
string_of_opt =
function
None
->
""
|
Some
s
->
s