pure interface of class PremonJJTConBind

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