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 C[f@@C[]C[f@Р
C[f@@C[]C[f@Р
module Functor_list: Functor /Dgt0Dgv@@@!b5Dg
/Dgt0Dgv@@@!b5Dg
module Functor_map: functor (O : Stdlib.Map.OrderedType) -> Functor !aIDg AJDg C@@@@LDg A
O
Stdlib.Map.OrderedType
!aIDg AJDg C@@@@LDg A