Arbitrary

type ArbitraryAnnotation<A, TypeParameters extends ReadonlyArray<any> = readonly []> = (...arbitraries: [...{ [K in keyof TypeParameters]: LazyArbitrary<TypeParameters[K]> }, ctx: ArbitraryGenerationContext]) => LazyArbitrary<A>

interface ArbitraryGenerationContext {
  readonly constraints?: StringConstraints | NumberConstraints | BigIntConstraints | DateConstraints | ArrayConstraints;
  readonly depthIdentifier?: string;
  readonly maxDepth: number;
}

declare function make<A, I, R>(schema: Schema<A, I, R>): Arbitrary<A>

declare function makeLazy<A, I, R>(schema: Schema<A, I, R>): LazyArbitrary<A>

interface LazyArbitrary<A> {
  (fc: __module): Arbitrary<A>;
}