A declaration binds a name to a type and a value. Declarations may appear at the top-level of a module or an interface (always after the IMPORT statements), or before the begining of a block. You can use different kinds of declerations in your programs: constants, types, variables, procedures, and exceptions. Unlike many other languages, Modula-3 does not restrict the order of declarations in a program, and you never need a forward statement.