pure interface of class PremonVarPrimitive

public class PremonVarPrimitive
  extends PremonVar
{
    public PremonVarPrimitive(String name,
                              PremonType type,
                              int curryings);
    public PremonVarPrimitive(String name,
                              PremonType type);
    public void print(Printer p);
    public Mor semantics();
}