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

# pure interface of class PremonJJTDecBind

The documentated page.

    public class PremonJJTDecBind
      extends PremonJJTDec
    {
        public PremonJJTDecBind(int id);
        public void print(Printer p);
        public PremonCon getBind()
          throws TypeError;
        public PremonDec desugar(PremonCon Gamma)
          throws TypeError;
    }

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

###### PremonJJTDecBind.interface.html