/L20"Opal" Line Comment = -- Block Comment On = /* Block Comment Off = */ String Chars = " File Extensions = IMPL SIGN
/Delimiters = ([)]? 	",+
/C1"Keywords"
**
:
\*\*
ASSERT
ASSUME
COMPLETELY
DATA
DEF
DFD
EX
FUN
IMPLEMENTATION
IMPORT
JUSTF
LAW
ONLY
POST
PRE
PROOF
SIGNATURE
SORT
SPC
THEORY
TYPE
->
==
===
==>
<=>
?
/C2"datatypes"
bool
denotation
/C3"keywordtype2"
\\\\
,
::
ALL
AND
ANDIF
AS
ELSE
FI
IF
IN
LET
NOT
OR
ORIF
OTHERWISE
THEN
WHERE
(
)
[
]