sig
type
'
a t =
'
a option
val
fmap : (
'
a
->
'
b)
->
'
a t
->
'
b t
end