pure interface of class MorTrace

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