Sophie
type t1 (** Commented. *) type t2 type t3 (** Also commented. *) type t4 (* Not commented ! *)