let
combine_option h =
function
None
->
0
|
Some
s
->
(h s) + 1