pure interface of class PremonJJTConOptional

public class PremonJJTConOptional
  extends PremonJJTCon
{
    public PremonJJTConOptional(int id);
    public void print(Printer p);
    public PremonCon desugar();
    public PremonCon desugarPrimitives();
}