pure interface of class MorId

public class MorId
  extends MorShuffle
{
    public MorId(Obj X);
    public void print(Printer p);
    public Graph0 graph0(Constraints C,
                         Interface source);
    public Mor simpleComp(Mor f);
    public Mor tensor(Mor f);
}