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

# pure interface of class ObjFun

The documentated page.

    public class ObjFun
      extends Obj
    {
        public final PremonCat cat;
        public final Obj source;
        public final Obj target;
        public ObjFun(PremonCat C,
                      Obj X,
                      Obj Y);
        public void print(Printer p);
    }

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

###### ObjFun.interface.html