functors.ml

module type M = sig

  module type S

  module S : S

end

;; module type M = sig module type S module S : S end

module type F = functor (M : M) -> M.S

;; module type F = functor (M : M) -> M.S

module type FF = functor (F : F) -> functor (M : M) -> M.S

;; module type FF = functor (F : F) (M : M) -> M.S

module FF (F : F) (M : M) : M.S = F (M)

;; module FF : functor (F : F) (M : M) -> M.S

module F (M : M) = FF (functor (S : module type of M) -> S.S) (M)

;; module F : functor (M : M) -> M.S

module A = F (struct module type S = sig type a end module rec S : S = S end)

;; module A : sig type a end

module B = F (struct module type S = sig type b end module rec S : S = S end)

;; module B : sig type b end