BasicSpec.hascasl.parser.output revision 2f2237571ed7885b0f1ccb2c17996e8922f3d12d
649fdc0d0502d62d160c150684356fef2c273484Eugen Kuksaclass Type < Type
649fdc0d0502d62d160c150684356fef2c273484Eugen Kuksaclass TYPE < Type
649fdc0d0502d62d160c150684356fef2c273484Eugen Kuksatype Pred __ : -Type -> Type;
649fdc0d0502d62d160c150684356fef2c273484Eugen Kuksaclass a, b, c < Type
649fdc0d0502d62d160c150684356fef2c273484Eugen Kuksaclass a, b, c < d;