JavaCompilerCore/resources/bytecode/javFiles/PatternMatchingJava.jav

import java.lang.Object;
import List;
import Cons;
import Empty;
import Tuple;

public class PatternMatchingJava {
    public zip(a, b) {
        switch (a) {
            case Cons(x, Cons xs) -> {
                switch (b) {
                    case Cons(y, Cons ys) -> { return new Cons<>(new Tuple<>(x, y), zip(xs, ys)); }
                    case Cons(y, Empty()) -> { return new Empty<>(); }
                };
            }
            case Cons(x, Empty()) -> { return new Empty<>(); }
        };
    }
}