const toto = 42; type t = enum { Bleu, Blanc }; type a = int^toto; const c : t = Bleu; const c2 : t; const t1 : bool^4^5;