Daily Archives: June 24, 2018

Syntax [crayon-5d5e8c22754b4930493326/]   New attributes:¬†expects, ensures, assert – contract tools The following attributes specifies¬†preconditions, postconditions, and assertions for functions. All of the predicates must be convertible to bool for interrogation purposes. They are both documentation and runtime asserts of how the caller should be expected to call the functions¬†and in […]

Language features: Contracts