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›)*