with Mos.Types;                          use Mos.Types;
package Mos.objects is
 
   type Object_Type is abstract tagged null record;
 
   type Object_Type_Access is access all Object_type'Class;
   procedure Make(Object : out Object_Type_Access) is abstract;
end Mos.objects;

with Mos.Objects.Table;
use Mos.Objects.Table;
package Mos.Objects.Enum is
 
   type Enum_Object_Type is
     new Object_Type with
      record
         Enum : Table_Object_access;
      end record;
 
   type Enum_Object_Access is access all Enum_Object_Type'Class;
end Mos.Objects.Enum;