Key.java
Key.java
—
Plain Text,
126 bytes
File contents
public interface Key extends org.jmlspecs.models.JMLType, org.jmlspecs.models.JMLComparable {
public String toString ();
}