Subtype Assertions

• a ? b for a, b ? N, if a is assignable to b

Previous slide

Next slide

Back to first slide

View graphic version