Module `Ocamlary.Aliases`

Let's imitate jst's layout.

module Foo : sig ... end

module A' = Foo.A

type tata = Foo.A.t

type tbtb = Ocamlary.Aliases.Foo.B.t

type tete

type tata' = A'.t

type tete2 = Ocamlary.Aliases.Foo.E.t

module Std : sig ... end

type stde = Std.E.t

Just for giggle, let's see what happens when we include Foo.

include module type of Ocamlary.Aliases.Foo

module A = Ocamlary.Aliases.Foo.A

module B = Ocamlary.Aliases.Foo.B

module C = Ocamlary.Aliases.Foo.C

module D = Ocamlary.Aliases.Foo.D

module E : sig ... end

type testa = A.t

And also, let's refer to A.t and Foo.B.id

module P1 : sig ... end

module P2 : sig ... end

module X1 = Ocamlary.Aliases.P2.Z

module X2 = P2.Z

type p1 = X1.t

type p2 = X2.t

Module Ocamlary.Aliases