js-randomness-predictor/dist/cjs/XorShift128Plus.d.ts

Predict Math.random output in Node, Deno, Bun, Chrome, Firefox, and Safari

import { BitVec } from "z3-solver";
import { Pair } from "./types.js";
export default class XorShift128Plus {
    #private;
    private constructor();
    static symbolic(symbolicState: Pair<BitVec>): void;
    static symbolicArithmeticShiftRight(symbolicState: Pair<BitVec>): void;
    static concreteBackwards(concreteState: Pair<bigint>): void;
    static concrete(concreteState: Pair<bigint>): void;
    static concreteArithmeticShiftRight(concreteState: Pair<bigint>): void;
}