WrongItems.hascasl revision 5214cf3742dc626a7efc5ec851db09bf0ff1f579
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)