WrongItems.hascasl revision 49a475aee8bae6c05798d65fddf13ec6da66f0be
class x = y = z
op a:? b
op a: ? b
var a+ : Type
var <
var -
class a : Type = {x . x < t}
type t := \ s,r . s -> r
type n (r,s)