import structure5.*;

public interface OrderedStructure<K extends Comparable<K>> extends Structure<K> {

}