HasCASL/test/CastFun.hascasl.output

	CastFun.hascasl.output revision 5de34eba726f63d1522bf17a857309a6208ce0b5
type  s
op    f : s --> s
. f = ((\ x : s . x) as s --> s);
type
s : Type
op f : s --> s
. f = ((\ x : s . x) as s --> s)
3.8: ### Hint:
no kind found for 's'
  expected: {Cpo}
     found: {Type}
3.8: ### Hint:
no kind found for 's'
  expected: {Cpo}
     found: {Type}
5.25: ### Hint:
no kind found for 's'
  expected: {Cpo}
     found: {Type}
5.25: ### Hint:
no kind found for 's'
  expected: {Cpo}
     found: {Type}