Define an ADT (Abstract Data Type) for the digit values