1 2 3 4 5 6 7 8 9 10 11
module type CI = const Int CCI = const CI var x: CCI := 8 y: const CI := 9 end.