type nonrec t = x constraint 'x = int
type nonrec t = x constraint 'x = string constraint 'y = unit
type nonrec t = x constraint 'a = ((typExpr)[@attr ])