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

# pure interface of class PremonJJTExpFunCurried

The documentated page.

    public class PremonJJTExpFunCurried
      extends PremonJJTExp
    {
        public PremonJJTExpFunCurried(int id);
        public void print(Printer p);
        public void printA(Printer p);
        public PremonExp desugarFrom(int i,
                                     PremonCon Gamma)
          throws TypeError;
        public PremonExp desugar(PremonCon Gamma)
          throws TypeError;
    }

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

###### PremonJJTExpFunCurried.interface.html