let
string_of_bool =
function
true
->
"true"
|
false
->
"false"