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

# pure interface of class PremonVar

The documentated page.

    public class PremonVar
      extends Printable
    {
        public String name;
        public PremonType type;
        public PremonCon free;
        public PremonVar(String name,
                         PremonType type);
        public PremonVar(PremonType type);
        public Mor semantics();
        public PremonVar alphaConvert();
        public void print(Printer p);
    }

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

###### PremonVar.interface.html