Type alias RequiredKeys<V>

RequiredKeys<V>: {
    [K in keyof V]-?: Exclude<V[K], undefined> extends Validator<infer T>
        ? IsOptional<T> extends true
            ? never
            : K
        : never
}[keyof V]