block comment `(*` `*)`

• block comment

  • This type of comment marks both the beginning and end of the comment. This allows a comment to span multiple lines, or can be used to comment out a section in the middle of a line. In addition, these comments may be nested, so it is possible to “comment out” a section of code that contains other block comments within it.

  • Examples:

     (* This script greets the user with a suitable salutation. *)

     put 2 (* + the dayOfWeek *) + 4 —> 6

• Related: --, —, //, #