(* Test: revealed object type *)

INTERFACE Bar;

IMPORT Foo;

TYPE Private <: ROOT;

REVEAL Foo.T = Private BRANDED "Foo" OBJECT
                 x : INTEGER;
               END;

END Bar.