Operations:
Leave1
?Class1
p?: Person
p?? d
d’ = d \ {p?}
Previous slide
Next slide
Back to first slide
View graphic version