your title
HOLD_PREVIOUS
HOLD_PREVIOUS
CONST
CONST
TYPE
TYPE
VAR
VAR
DEFINE
DEFINE
: ;
: ;
:
;
:
;
:
;
:
;
:= ;
:= ;
MODULE
() {
()
}
MODULE
() {
()
}
:
,
:
,
COJOIN:
;
COJOIN:
;
ARRAY [] OF
ARRAY [] OF
INITVAL
INITVAL
..
..
0 ..
0 ..
ENUM {
,
}
ENUM {
,
}
()
()
,
,
[]
[]
->
->
( ||| )
( ||| )
( || )
( || )
( | | )
( | | )
(,)
(,)
Trans
:
Trans
:
enable:
;
enable:
;
assign:
assign:
:=;
:=;
relation:
;
relation:
;
(
)
(
)
+
+
-
-
/
/
*
*
%
%
=
=
!=
!=
=
=
<=
<=
>=
>=
<
<
>
>
\/
\/
/\
/\
!
!
()
()
[]
[]
{
,
}
{
,
}
true
true
false
false
'
'
boolean
boolean
INTEGER
INTEGER