pure interface of class PremonExpTopLevel

public class PremonExpTopLevel
  extends PremonExp
{
    public PremonExpTopLevel(PremonExp M);
    public void print(Printer p);
    public Mor semantics();
}