public class cterm
{
   public cterm next;
}

/* abstract syntax for col terms  - see other files


class CIC extends cterm
{
    public int val;
}

class CRC extends cterm
{
    public double val;
}

class CSC extends cterm
{
    public String val;
}

class ID extends cterm
{ 
    public int val; 
}

class TID extends cterm
{
    public int val;
}

class APP extends cterm
{
    public cterm left; 
    public cterm right;
}


class ABS extends cterm  // not used
{ }


*/