HasCASL/test/Subtype4.hascasl.output

var   a : +Type
type  List a
      %%type NonrepList a < List a
var   c : Cpo
type  NonrepList c < List c
types
List : +Type -> Type;
NonrepList : Cpo -> Type
type
NonrepList < List
vars
a : +Type %(var_1)%;
c : Cpo %(var_3)%
1.5: ### Hint: is type variable 'a'
5.5: ### Hint: is type variable 'c'
6.18: ### Hint: rebound type variable 'c'
6.18: ### Hint: rebound type variable 'c'