import { Random as FCRandom } from "fast-check";
/**
 * @hidden
 *
 * Build a valid RNG State that can be consumed by rc4 lib
 * to seed arbitraries owned by jsverify
 */
export declare const buildRngState: (mrng: FCRandom) => string;