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