pure interface of class MorIdI

public class MorIdI
  extends MorId
{
    public MorIdI();
    public Mor tensor(Mor f);
}