pure interface of class PremonExpFun

public class PremonExpFun
  extends PremonExp
{
    public PremonExpFun(PremonCat C,
                        PremonPat P,
                        PremonExp M);
    public void print(Printer p);
    public void printA(Printer p);
    public Mor semantics();
}