Syntax [crayon-5dab106892841498188399/]   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