Module Deriving_Functor
module Deriving_Functor : sig..end
module type Functor = sig..end
module MonadFunctor : functor (M : Deriving_monad.Monad) ->
Functorwith type 'a f = 'a M.m
module Functor_option : Functorwith type 'a f = 'a option
module Functor_list : Functorwith type 'a f = 'a list
module Functor_map : functor (O : Map.OrderedType) ->
Functorwith type 'a f = 'a Map.Make(O).t