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

# pure interface of class PremonJJTExpAppInfix

The documentated page.

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

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

###### PremonJJTExpAppInfix.interface.html