JavaPatternMatching/resources/bytecode/javFiles/mathStrucInteger.jav

import java.util.Vector;
import java.lang.Integer;

public class mathStrucInteger {
	model; 

	innerOp = (o) -> (ms) -> new mathStrucInteger<>(o.apply(model,ms.model));

	public mathStrucInteger(m) {
		model =m;
	}
}

class mathStrucIntegerUse {

    main() {
    	var ms;
		ms = new mathStrucInteger<>(2);
		var ms2;
		ms2 = ms.innerOp.apply((x,y) -> x+y).apply(ms);
		return ms2;
	}
}