( ) { } { } . ; : :- <-> // /* */ (* *) {* *} {| |} {|| ||}
{# #} (| |) -> ~ !~ == < > ! ? :=
<= => ==>
Line comments are started by // and end at a newline.
Non-nested comments start with /* and end with */ (same
as in C++).
There are also nested comments available as in Modula:
(* nested comment *).
It is not allowed to use the string delimiter characters ' and "
in comments.
The keyword ENDINPUT ends the input in a specification file, i.e. all text after it is regarded to be a comment. This is nice for
testing; just move text after [ END <module-name> ] ENDINPUT
and will not see it.