package jetbrains.mps.internal.collections.runtime;

/*Generated by MPS */

import java.util.SortedSet;

public interface ISortedSetSequence<T> extends ISetSequence<T>, SortedSet<T> {
  ISortedSetSequence<T> headSet(T toElement);
  ISortedSetSequence<T> tailSet(T fromElement);
  ISortedSetSequence<T> subSet(T fromElement, T toElement);
  ISortedSetSequence<T> addSequence(ISequence<? extends T> seq);
  ISortedSetSequence<T> removeSequence(ISequence<? extends T> seq);
  ISortedSetSequence<T> asUnmodifiable();
  ISortedSetSequence<T> asSynchronized();
}
