Changes between Version 9 and Version 10 of Contracts

Timestamp:

03/17/12 18:31:24 (12 years ago)

Author:

Charles

Comment:

--

Contracts

@@ -47 +47 @@
       Use to validate a state change.
 
-In addition there is an additional expression construct
+In addition, there is a boolean operator commonly used in contracts:
     * '''implies''' - available in all contracts.
       allows an assertion to be triggered only if a condition is true.