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

# pure interface of class PremonJJTExpDots

The documentated page.

    public class PremonJJTExpDots
      extends PremonJJTExpTuple
    {
        public PremonJJTExpDots(int id);
        public void print(Printer p);
        public PremonExp desugar(PremonCon Gamma)
          throws TypeError;
    }

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

###### PremonJJTExpDots.interface.html