--arith oprtrs Class A{ x:Int; y:Bool; z:String; w:Int; a():Int{ { 4+2; 4-2; 4*008; 067/067; 067/0; x+w; x*w; w-x; w/x; --return types x<-x+x; w<-x-w; x<-case x of t:Int => t; t:Bool => x; esac + case y of t:Int => t+1; e:String => x/x; esac; } }; }; Class Main{ main():Int { 1 }; };