Commenti
I commenti multilinea vanno delimitati tra i simboli "(*" e "*)", si
possono estendere su più righe e possono nidificare. Il carattere "#"
permette di inserire un commento che si estende fino alla fine della riga.
All'interno di un commento multilinea, il carattere "#" non ha alcun
significato particolare. Similmente, all'interno di un commento su singola
linea, i caratteri "(*" e "*)" non hanno alcun significato particolare.
Esempio:
(*
Questo è un commento
su due righe. (* I commenti si possono nidificare. *)
*)
x = (a+b) DIV 2 # questo e' un commento su una riga
| 
M2 Report