module Deriving_Functor: sig .. end
sig
end
module type Functor = sig .. end
module MonadFunctor: functor (M : Deriving_monad.Monad) -> Functor !fC[bC[f@
functor (
M
:
Deriving_monad.Monad
) ->
Functor
!fC[bC[f@
module Functor_option: Functor [bC[f@@C[]C[f@
[bC[f@@C[]C[f@
module Functor_list: Functor a0Dgt1Dgv@@@!b6
a0Dgt1Dgv@@@!b6
module Functor_map: functor (O : Stdlib.Map.OrderedType) -> Functor E@!aJDg AKDg C@@@@MDg A
O
Stdlib.Map.OrderedType
E@!aJDg AKDg C@@@@MDg A