pure interface of class PremonJJTDecBindFunCurried

public class PremonJJTDecBindFunCurried
  extends PremonJJTDec
{
    public PremonJJTDecBindFunCurried(int id);
    public void print(Printer p);
    public PremonCon getBind()
      throws TypeError;
    public PremonDec desugar(PremonCon Gamma)
      throws TypeError;
}