public ERRTerm(ERRType err) { TermType = TermTypes.ERR; val = new int[1]; val[0] = (int)err; }
public TermAbsClass(ERRType err) { TermType = TermTypes.ERR; val = new int[1]; val[0] = (int)err; }