module Deriving_Functor: sig .. end
sig
end
module type Functor = sig .. end
module MonadFunctor: functor (M : Deriving_monad.Monad) -> Functor !f°ÀC[bÀC[f@ À�
functor (
M
:
Deriving_monad.Monad
) ->
Functor
!f°ÀC[bÀC[f@ À�
module Functor_option: Functor ÀC[f@@°ÀC[]ÀC[f@ �Ð
ÀC[f@@°ÀC[]ÀC[f@ �Ð
module Functor_list: Functor À/DgtÀ0Dgv@@@À�!b°À5Dg
À/DgtÀ0Dgv@@@À�!b°À5Dg
module Functor_map: functor (O : Stdlib.Map.OrderedType) -> Functor À�!a°ÀIDg AÀJDg C@@@@°ÀLDg AÀ
O
Stdlib.Map.OrderedType
À�!a°ÀIDg AÀJDg C@@@@°ÀLDg AÀ