Documentation

Comments

A single-line comment starts with double slash // and ends with the line feed.

A multiple-line comment starts with (* and ends with *).

Example:

   X:= 1;   //one-line comment
   (* ***********************
       multiple-line comment
      *********************** *)