BEGIN

Instruction. Marque le début des définitions du module.

Syntaxe

NomDuModule IdentifiantObjetOption DEFINITIONS ModeEtiquettageOption ModeExtensionOption ::=
BEGIN
ExportationsOption
ImportationsOption
ListeDAffectationsOption
END

Description

L'instruction BEGIN ouvre la liste des définitions du module.

Exemple

-- Le module possede les options recommandees.
MonModule {iso member-body(2) ups(1) essai(1)} DEFINITIONS AUTOMATIC TAGS ::=

BEGIN
...
END

Voir aussi

DEFINITIONS pour déclarer les options du module. END pour fermer le bloc des définitions du module.