pure interface of class ObjTensor

public class ObjTensor
  extends Obj
{
    public ObjTensor(Obj X,
                     Obj Y);
    public void print(Printer p);
}