From: Jean Privat <jean@pryen.org>
Date: Tue, 26 May 2020 19:26:30 +0000 (-0400)
Subject: Merge: Contract refactoring
X-Git-Url: http://nitlanguage.org?hp=-c

Merge: Contract refactoring

This pr integrate:

- Minor documentation changes
- Addition of the `in_contract` attribute to disable verification of contracts when we are already in verification.
- Improved signature management

This pr depends of #2815 #2816 #2817 #2820

Pull-Request: #2822
---

3f58b4fa8b53a60b9c0cbc0ca8dd0284d3ff65d5