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

# pure interface of class PremonJJTPatDots

The documentated page.

    public class PremonJJTPatDots
      extends PremonJJTPatTuple
    {
        public PremonJJTPatDots(int id);
        public void print(Printer p);
        public PremonPat desugar();
    }

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

###### PremonJJTPatDots.interface.html