pure interface of class PremonJJTId

public class PremonJJTId
  extends PremonJJTNode
{
    public String name;
    public PremonJJTId(int id);
    public PremonJJTId setName(String s);
    public void print(Printer p);
    public String toString();
    public PremonVar desugarVar(PremonType T);
    public PremonVar desugarVarPrimitive(PremonType T);
    public PremonVar desugarVarPrimitiveFun(PremonType T,
                                            int curryings);
    public PremonType desugarTypeVar();
}