Module Deriving_Functor.Functor_option

module Functor_option: Functor ÀC[f@@°ÀC[]ÀC[f@  Ð 

type 'a f 
val map : ('a -> 'b) -> 'a f -> 'b f