Module `Resolution.Complicated_2`

A very complicated example of resolution

module type Type = sig ... end

module App
  (T : Odoc_examples.Resolution.Complicated_2.Type)
  (F : 
    functor (_ : Odoc_examples.Resolution.Complicated_2.Type) ->
    Odoc_examples.Resolution.Complicated_2.Type)
  (M : F(T).T) : 
  F(T).T

module Bar : sig ... end

module Foo (T : Odoc_examples.Resolution.Complicated_2.Type) : sig ... end

module FooBarInt : sig ... end

type t =
  Odoc_examples.Resolution.Complicated_2.App(Odoc_examples.Resolution.Complicated_2.Bar)(Odoc_examples.Resolution.Complicated_2.Foo)(Odoc_examples.Resolution.Complicated_2.FooBarInt).Foo.bar

Module Resolution.Complicated_2

Module `Resolution.Complicated_2`