pure interface of class MorCurry

public class MorCurry
  extends Mor
{
    public MorCurry(Mor f,
                    PremonCat C,
                    Obj X,
                    Obj Y);
    public void print(Printer p);
    public Mor uncurry();
    public Graph0 graph0(Constraints Con,
                         Interface source);
}