📅  最后修改于: 2022-03-11 14:44:44.893000             🧑  作者: Mango
(* Example comment *)
{ Second example comment }
// One line comment
You can have nested comments:
{ Comment 1 (* comment 2 *) }
(* Comment 1 { comment 2 } *)
{ comment 1 // Comment 2 }
(* comment 1 // Comment 2 *)
// comment 1 (* comment 2 *)
// comment 1 { comment 2 }