pure interface of class MorTensorDots

public class MorTensorDots
  extends Mor
{
    public MorTensorDots(Mor f,
                         Mor g);
    public void print(Printer p);
    public Graph0 graph0(Constraints C,
                         Interface source);
}