let
opt_mem =
function
None
->
None
|
Some
m
->
Some
m.mem