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 \*) \*)