let
decide_option x =
function
|
true
->
Some
(x)
|
_
->
None