Learners examine an abstract data type as a description of data and allowed operations without exposing implementation details.