A multi-line comment starts with /// on one line and ends with end /// on a subsequent line. Any text written between /// and end /// is part of the multi-line comment.

Multi-line comments can be nested. The depth of nesting is not limited. This is useful, for example, whenever instructions that contain already a multi-line comment are disabled by embedding them in another multi-line comment.

///
  The following code computes the time the rocket takes
  to fly from Mars to Jupiter
end ///

///
  this is a multi-line comment that contains
  another nested multi-line comment
  ///
    this is a nested
    multi-line comment
  end ///
end ///