let
get_option =
function
None
->
assert
false
|
Some
x
->
x