sig
val
map : (
'
a
->
'
b)
->
'
a option
->
'
b option
end