class FORMAT_DOUBLE Ancestors DOUBLE_MATH FORMAT_INTEGER Clients FORMAT_DOUBLE Suppliers BOOLEAN FORMAT_DOUBLE INTEGER_32 REAL_64 STRING_8
Generated by ISE EiffelStudio