Ocamlary.Aliases
Let's imitate jst's layout.
module Foo : sig ... end
module A' = Foo.A
type tata = Foo.A.t
type tbtb = Foo.B.t
type tata' = A'.t
type tete2 = Foo.E.t
module Std : sig ... end
type stde = Std.E.t
Just for giggle, let's see what happens when we include Foo
.
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 = P2.Z
module X2 = P2.Z
type p1 = X1.t
type p2 = X2.t