tmp/tmp2asm8af8/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,8 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
**Table: Enum `assertion_kind`** <a id="support.contract.enum.kind">[support.contract.enum.kind]</a>
|
| 2 |
+
|
| 3 |
+
| Name | Meaning |
|
| 4 |
+
| -------- | ------------------------- |
|
| 5 |
+
| `pre` | A precondition assertion |
|
| 6 |
+
| `post` | A postcondition assertion |
|
| 7 |
+
| `assert` | An *assertion-statement* |
|
| 8 |
+
|