pure interface of class PremonJJTDec

public abstract class PremonJJTDec
  extends PremonJJTNode
{
    public abstract PremonDec desugar(PremonCon Gamma)
      throws TypeError;
    public abstract PremonCon getBind()
      throws TypeError;
    public PremonJJTDec(int id);
}