module Functor_option: Functor ÀC[f@@°ÀC[]ÀC[f@ Ð
Functor
ÀC[f@@°ÀC[]ÀC[f@ Ð
type 'a f
'a
val map : ('a -> 'b) -> 'a f -> 'b f
('a -> 'b) -> 'a f -> 'b f