CastFun.hascasl.output revision 6cb518d88084543c13aa7e56db767c14ee97ab77
type s
op f : s --> s
. f = ((\ x : s . x) as s --> s);
type
s : Type
op f : s --> s %(op)%
. f = ((\ x : s . x) as s --> s)