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

# pure interface of class PremonExp

The documentated page.

    public abstract class PremonExp
      extends Printable
    {
        public PremonCat cat;
        public PremonType type;
        public PremonCon free;
        public abstract Mor semantics();
        public Mor semanticsFrom(PremonCon Gamma);
        public PremonExp apply(PremonExp N)
          throws TypeError;
        public PremonExp();
    }

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

###### PremonExp.interface.html