Cross Reference: /hets/HasCASL/test/Subtype4.hascasl

Cross Reference: /hets/HasCASL/test/Subtype4.hascasl

1

2

3

4

5

6

7

8

var a : +Type

type List a : Type

%%type NonrepList a < List a

var c : Cpo

type NonrepList (c : Cpo) < List c