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

# pure interface of class PremonExpDec

The documentated page.

    public class PremonExpDec
      extends PremonExp
    {
        public PremonExpDec(PremonDec D,
                            PremonExp M);
        public void print(Printer p);
        public void printB(Printer p);
        public Mor semantics();
    }

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

###### PremonExpDec.interface.html