Usages (2/2):Obligation and Capability
x:[int]/Oo¡Èmust send an integer value to x¡É
x:[int]/Oo¨§ x![3]
x:[int]/Oo¨§ 0
Previous slide
Next slide
Back to first slide
View graphic version