public VARTerm(VARType var_type, int[] intVal) { base.TermType = TermTypes.VAR; base.val = null; base.val = new int[intVal.Length + 1]; base.val[0] = (int)var_type; Array.ConstrainedCopy(intVal, 0, base.val, 1, intVal.Length); }
public VARTerm(VARType var_type, uint[] intVal) { unchecked { variableType = var_type; base.TermType = TermTypes.VAR; base.val = null; base.val = new uint[intVal.Length + 1]; base.val[0] = (uint)var_type; Array.ConstrainedCopy(intVal, 0, base.val, 1, intVal.Length); } }