sync jssrc.py with JS sources

py/pyaici/jssrc.py

@@ -162,6 +162,11 @@
    */
   function detokenize(tokens: number[]): Buffer;
 
+  /**
+   * Return debug string representation of a given token index
+   */
+  function tokenRepr(token: number): string;
+
   /**
    * Return identifier of the current sequence.
    * Most useful with fork_group parameter in mid_process() callback.
@@ -219,20 +224,27 @@ class TokenSet {
      */
     constructor();
 
+    toString(): string;
+
     add(t: number): void;
     delete(t: number): void;
     has(t: number): boolean;
     clear(): void;
 
     /**
-     * Number of all tokens (not only in the set).
+     * Number of all possible tokens (regardless of whether they are in the set or not).
      */
     length: number;
 
     /**
      * Include or exclude all tokens from the set.
      */
     setAll(value: boolean): void;
+
+    /**
+     * Number of tokens in the set.
+     */
+    numSet(): number;
   }
 
   /**