let
bool_of_option =
function
Some
_
->
true
|
None
->
false