import { BitVec } from "z3-solver-jsrp";
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;
}