Cross Reference: /hets/HasCASL/test/ContraVariance.hascasl
ContraVariance.hascasl revision bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2
type p := \ (a : +Type) . Pred (Pred a) %% should be correct
type p := \ (a : +Type) . Pred a %% should be wrong
type m := \ (b : -Type) . b %% should be wrong