(* Test: type identification *)

MODULE Test EXPORTS Foo, Bar;

REVEAL Private = BRANDED "Bar" OBJECT
                   y: INTEGER;
                 END;	

BEGIN
END Test.