HasCASL/test/CastFun.hascasl.output

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}