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