import { Arbitrary as JSCArbitrary } from "jsverify";
import { Arbitrary as FCArbitrary } from "fast-check";
export declare const jsc2fc: <T>(jscArbitrary: JSCArbitrary<T>) => FCArbitrary<T>;