4 val map
: ('a
-> 'b
) -> 'a f
-> 'b f
6 module MonadFunctor
(M
: Monad.Monad
) : Functor
with type 'a f
= 'a
M.m
7 module Functor_option
: Functor
with type 'a f
= 'a
option
8 module Functor_list
: Functor
with type 'a f
= 'a list
9 module Functor_map
(O
: Map.OrderedType
) : Functor
with type 'a f
= 'a
Map.Make
(O
).t