pure interface of class PremonTypeVar

public class PremonTypeVar
  extends PremonType
{
    public static PremonTypeVar string;
    public static PremonTypeVar integer;
    public static PremonTypeVar dubble;
    public PremonTypeVar(String s);
    public void print(Printer p);
    public Obj semantics();
    public boolean equals(PremonType T);
    public boolean traceable();
}