JavaTXCompilerInJavaTX/test/plugindevelopment/MartinTestCases/Matrix_lambda.jav

import de.dhbwstuttgart.typeinference.Menge;

class Matrix extends Menge<Menge<Integer>> {
	op = (Matrix m) -> (f) -> f.apply(this, m); 
}