Type Alias RecordValue<T, TConstraints>

RecordValue: TConstraints extends {
    requiredKeys: any[];
    withDeletedKeys: boolean;
}
    ? never
    : TConstraints extends { withDeletedKeys: true }
        ? Partial<T>
        : TConstraints extends { requiredKeys: (infer TKeys)[] }
            ? Partial<T> & Pick<T, TKeys & keyof T>
            : T

Infer the type of the Arbitrary produced by record given the type of the source arbitrary and constraints to be applied