Abstract Data Types

-- representation function   
slide: Abstraction