HasCASL/test/CastFun.hascasl.output

	CastFun.hascasl.output revision 3aa7e4492a7e28b37d1a0b23f5bfe2109f87d4d6
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}