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

# pure interface of class PremonJJTDec

The documentated page.

    public abstract class PremonJJTDec
      extends PremonJJTNode
    {
        public abstract PremonDec desugar(PremonCon Gamma)
          throws TypeError;
        public abstract PremonCon getBind()
          throws TypeError;
        public PremonJJTDec(int id);
    }

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

###### PremonJJTDec.interface.html