Usages (2/2):Obligation and Capability
y:[int]/Ic¡Ècan receive an integer value from y successfully¡É
y:[int]/Ic¨§ y?[v].0
?eventually reduces to 0(by communication with an external process)
y:[int]/Ic¨§ 0
Previous slide
Next slide
Back to first slide
View graphic version