WrongItems.hascasl revision 1f271436264fd3e4ea0a0efd9f18636d26b7c07a
class x = y = z
var <
class a : Type = {x . x < t}
type t := \ s,r . s -> r
type n (r,s)