`[all packages] [package ] [class hierarchy] [index]`

# pure interface of class PremonJJTId

The documentated page.

    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();
    }

`[all packages] [package ] [class hierarchy] [index]`

###### PremonJJTId.interface.html