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

# pure interface of class PremonDec

The documentated page.

    public abstract class PremonDec
      extends Printable
    {
        public PremonCat cat;
        public PremonCon bind;
        public PremonCon free;
        public abstract Mor semanticsTo(PremonCon target);
        public PremonDec();
    }

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

###### PremonDec.interface.html