import structure5.*;

/* The only thing this interface really says is:
 * "we want elements to be comparable"
 * but what we really want to say is that the data
 * structure should _keep_ the elements ordered.
 * Sadly, Java provides no way to state that in
 * an interface!
 * 
 * Here we stipulate that elements must have a
 * natural ordering, i.e., that they are comparable.
 */
public interface OrderedStructure<K extends Comparable<K>> extends Structure<K> {

}