WrongItems.hascasl revision 0cefc40bed0a5ad26b76ad7def2623f79b9eaf0f
e134a6af42102c8d865e82bf89e0b8c5a40fb5faStephen Gallagherclass x = y = z
e134a6af42102c8d865e82bf89e0b8c5a40fb5faStephen Gallagherclass a : Type = {x . x < t}
e134a6af42102c8d865e82bf89e0b8c5a40fb5faStephen Gallaghertype t := \ s,r . s -> r