public static TerminalPred Chars(params char[] c) { var set = PGIntSet.WithChars(c.Select(ch => (int)ch).ToArray()); return(new TerminalPred(null, set)); }