|
ENTITY Text_font_in_family; font : Text_font; family : Text_font_family; END_ENTITY; -- Text_font_in_family |
Entity data types and their attributesText_font_in_familyfont: Text_font; family: Text_font_family; |
UsersText_font_in_family |
Global rules for this entity data type- |