public interface Key extends org.jmlspecs.models.JMLType, org.jmlspecs.models.JMLComparable {
   public String toString ();
}