pure interface of class PremonJJTTypeResult

public class PremonJJTTypeResult
  extends PremonJJTType
{
    public PremonJJTTypeResult(int id);
    public void print(Printer p);
    public PremonType desugar();
}