Ocamlary.Aliasesmodule Foo : sig ... endmodule A' = Foo.Atype tata = Foo.A.ttype tata' = A'.ttype tete2 = Foo.E.tmodule Std : sig ... endtype stde = Std.E.tmodule A : sig ... endmodule B : sig ... endmodule C : sig ... endmodule D : sig ... endmodule E : sig ... endtype testa = A.tmodule P1 : sig ... endmodule P2 : sig ... endmodule X1 = P1.Ymodule X2 = P2.Ztype p1 = X1.ttype p2 = X2.t