`[all packages] [package ] [class hierarchy] [index]`

# public class ObjI

(source file: ObjI.java)

    java.lang.Object
       |
       +----Printable
               |
               +----Obj
                       |
                       +----ObjI

The pure class interface.

    public class ObjI
      extends Obj

  The unit object I.

  Author:
    Alan Jeffrey
  Version: v1.0 1998/06/11

##

ObjI()
  Create a new unit object.

##

id()
print(Printer)
tensor(Obj)

##

ObjI

    public ObjI();

  Create a new unit object.

##

print

    public void print(Printer p);

tensor

    public Obj tensor(Obj X);

id

    public Mor id();

`[all packages] [package ] [class hierarchy] [index]`

###### ObjI.html