Function Builder

Builder(
    constraints?: Gen.Builder.Constraints,
): (
    cont: LetrecTypedTie<Gen.Builder>,
) => {
    array: Arbitrary<JsonSchema_array<JsonSchema>>;
    boolean: Arbitrary;
    integer: Arbitrary;
    intersect: Arbitrary<JsonSchema_intersect<JsonSchema[]>>;
    number: Arbitrary;
    object: Arbitrary<JsonSchema_object<{ [x: string]: JsonSchema }>>;
    record: Arbitrary<JsonSchema_record<JsonSchema>>;
    string: Arbitrary;
    tree: Arbitrary<
        | JsonSchema_boolean
        | JsonSchema_integer
        | JsonSchema_number
        | JsonSchema_string
        | JsonSchema_array<JsonSchema>
        | JsonSchema_record<JsonSchema>
        | JsonSchema_tuple<JsonSchema[]>
        | JsonSchema_object<{ [x: string]: JsonSchema }>
        | JsonSchema_union<JsonSchema[]>
        | JsonSchema_intersect<JsonSchema[]>,
    >;
    tuple: Arbitrary<JsonSchema_tuple<JsonSchema[]>>;
    union: Arbitrary<JsonSchema_union<JsonSchema[]>>;
}

Builder<T extends Partial<Gen.Arbitraries<keyof BuilderNodes>>>(
    constraints: Gen.Builder.Constraints,
    arbitraries: T,
): (
    cont: LetrecTypedTie<Gen.Builder>,
) => {
    array: Arbitrary<
        "array" extends keyof T
            ? T[keyof T & "array"]
            : JsonSchema_array<JsonSchema>,
    >;
    boolean: Arbitrary;
    integer: Arbitrary;
    intersect: Arbitrary<
        "intersect" extends keyof T
            ? T[keyof T & "intersect"]
            : JsonSchema_intersect<JsonSchema[]>,
    >;
    number: Arbitrary;
    object: Arbitrary<
        "object" extends keyof T
            ? T[keyof T & "object"]
            : JsonSchema_object<{ [x: string]: JsonSchema }>,
    >;
    record: Arbitrary<
        "record" extends keyof T
            ? T[keyof T & "record"]
            : JsonSchema_record<JsonSchema>,
    >;
    string: Arbitrary;
    tree: Arbitrary<
        "tree" extends keyof T
            ? T[keyof T & "tree"]
            : | JsonSchema_boolean
            | JsonSchema_integer
            | JsonSchema_number
            | JsonSchema_string
            | JsonSchema_array<JsonSchema>
            | JsonSchema_record<JsonSchema>
            | JsonSchema_tuple<JsonSchema[]>
            | JsonSchema_object<{ [x: string]: JsonSchema }>
            | JsonSchema_union<JsonSchema[]>
            | JsonSchema_intersect<JsonSchema[]>,
    >;
    tuple: Arbitrary<
        "tuple" extends keyof T
            ? T[keyof T & "tuple"]
            : JsonSchema_tuple<JsonSchema[]>,
    >;
    union: Arbitrary<
        "union" extends keyof T
            ? T[keyof T & "union"]
            : JsonSchema_union<JsonSchema[]>,
    >;
}