predict-v8-randomness/dist/umd/high-level/high-level.d.ts

Predict the output of Math.random

import { Z3Core } from '../low-level';
import { Z3HighLevel } from './types';
export declare function createApi(Z3: Z3Core): Z3HighLevel;