ST CommentsΒΆ
Comment | Description | Example |
---|---|---|
Single-line | Starts with // and ends at the end of the line. |
// This is a comment |
Multi-line | Starts with (\* and ends with \*) . |
(\* This is a multi-line comment \*) |
Nested | Starts with (\* and ends with \*) . There may be further (\*....\*) comments inside this comment. |
( \* a:=inst.out; (\* 1st comment \*) b:=b+1; (\* 2nd comment \*) \*) |