next up previous
Next: 2.3.5 Sequential composition Up: 2.3 Statements Previous: 2.3.3 Eval

2.3.4 Block statement

A block statement has the form:

    Decls BEGIN S END
where Decls is a sequence of declarations and S is a statement. The block introduces the constants, types, variables, and procedures declared in Decls and then executes S. The scope of the declared names is the block.



m3-support@elego.de