I.java

package p;

/** typecomment template*/
public interface I {

	public abstract double dot(X v);

}