> Actually the original program (the second variant with Standard."and")
> works correctly with the GNAT compiler (but not with ObjectAda).
You're saying GNAT will allow:
> function "And" (Left, Right: Private_Type) return Private_Type is
> return Standard."And" (Left, Right);
> end "and";
and I believe you. But, will it not also allow:
function "And" (Left, Right: Private_Type)
return Private_Type renames Standard."And";
In any case, since it didn't work for the questioner, he/she must not
be using GNAT.