Wiki

Changes between Version 9 and Version 10 of Contracts

Show
Ignore:
Timestamp:
03/17/12 18:31:24 (6 years ago)
Author:
Charles
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Contracts

    v9 v10  
    4747      Use to validate a state change. 
    4848 
    49 In addition there is an additional expression construct 
     49In addition, there is a boolean operator commonly used in contracts: 
    5050    * '''implies''' - available in all contracts. 
    5151      allows an assertion to be triggered only if a condition is true.