2.1.3 Programs
Programs consist of a sequence of import or provide statements, followed by a block:
‹program› ‹prelude› ‹block› ‹prelude› ‹provide-stmt› ‹provide-types-stmt› ‹import-stmt›
| ▼ | 2.1 | Language Constructs |
| 2.1.1 | Primitives and Literals |
| 2.1.2 | Comments |
| 2.1.3 | Programs |
| 2.1.4 | Import Statements |
| 2.1.5 | Provide Statements |
| 2.1.6 | Bindings |
| 2.1.7 | Blocks |
| 2.1.8 | Declarations |
| 2.1.9 | Contracts |
| 2.1.10 | Statements |
| 2.1.11 | Expressions |
| 2.1.12 | Annotations |
Programs consist of a sequence of import or provide statements, followed by a block:
‹program› ‹prelude› ‹block› ‹prelude› ‹provide-stmt› ‹provide-types-stmt› ‹import-stmt›