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