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>;
}