pure interface of class ObjI

public class ObjI
  extends Obj
{
    public ObjI();
    public void print(Printer p);
    public Obj tensor(Obj X);
    public Mor id();
}