why3/bench/java/expected/AnImplementation.java

/* This file has been extracted from module AnImplementation. */
import fr.labri.AnInterface;

public class AnImplementation implements fr.labri.AnInterface, java.lang.Comparable<AnImplementation> {

  
  
  public int compareTo(AnImplementation other) {
    
    return -1;
  }
  
  
}