(* Lexing tyvars *)

type ('_a, '1a, ''a, '_, '', ''', ''1) t = int

type u = (int, int, int, int, int, int, int) t