An Example of a Class Definition (Interface) and its Abstract Data Type