JavaTXCompilerInJavaTX/examples/bajo1_usecases/Matrix2.jav

class Matrix extends Menge<Menge<Integer>> {

	mul(m){
		k;
		k = 0;
		ret;
		ret = m.elementAt(k).elementAt(k).intValue();
		return ret;
	}
	
}