ST中注释

嵌套的注释: 注释可以放置在其它注释中

例子

(*

a:=inst.out; (* to be checked *)

b:=b+1;

*)

这个例子中,注释以第一个括号开始,它跟接下来的"checked"后的括号是不闭合的,只跟最后一个括号闭合。