module Extended_monad: sig .. end
sig
end
module List: Core.List
Core.List
module type S = sig .. end
module Make (M : Core.Monad.Basic) : sig .. end
(
M
:
Core.Monad.Basic
)
module type S2 = sig .. end
module Make2 (M : Core.Monad.Basic2) : sig .. end
Core.Monad.Basic2