pure interface of class ObjFun

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);
}