Statements
----------

.. crowbar:element:: Block <- '{' Statement* '}'

    Compile-time Behavior:

    A block is a possibly-empty sequence of statements surrounded by curly braces.
    Any declaration or definition within the block must not be visible outside of the block.

    Runtime Behavior:

    When a block is executed, each of the containing statements, in linear order, is executed.

.. crowbar:element:: Statement <- VariableDefinition / StructureStatement / FlowControlStatement / AssignmentStatement / FragileStatement / ExpressionStatement / EmptyStatement

    Crowbar has many different types of statement.

.. crowbar:element:: EmptyStatement <- ';'

    Compile-time Behavior:

    None.

    Runtime Behavior:

    None.

..  toctree::
    :maxdepth: 1

    variables
    structure
    flow-control