import javax.annotation.Nonnull;
import gov.nasa.jpf.annotation.SandBox;

public interface PriorityQueue {
    
    public void enqueue(@Nonnull Comparable o);
    
    public @Nonnull Comparable removeFirst();
    
    public @SandBox boolean isEmpty();
    
}