[all packages]
[package ]
[class hierarchy]
[index]
java.lang.Object | +----Printable | +----Obj | +----ObjI
public class ObjI extends Obj
public ObjI();
public void print(Printer p);
public Obj tensor(Obj X);
public Mor id();
[all packages]
[package ]
[class hierarchy]
[index]