Assumptions about type P

• Well behaved with regard to copying

• Prefix ++ and * defined

• Binary != defined

Previous slide

Next slide

Back to first slide

View graphic version