Function validator

validator<V>(): <S>(select: Exact<S, V>) => S

validator<
    C,
    M extends string | number | symbol,
    O extends
    
            | "update"
            | "delete"
            | "count"
            | "findUnique"
            | "findUniqueOrThrow"
            | "findFirst"
            | "findFirstOrThrow"
            | "findMany"
            | "create"
            | "createMany"
            | "createManyAndReturn"
            | "updateMany"
            | "updateManyAndReturn"
            | "upsert"
            | "deleteMany"
            | "groupBy"
            | "aggregate"
            | "findRaw"
            | "aggregateRaw"
            | "$queryRaw"
            | "$executeRaw"
            | "$queryRawUnsafe"
            | "$executeRawUnsafe"
            | "$runCommandRaw",
>(
    client: C,
    model: M,
    operation: O,
): <S>(select: Exact<S, Args<C[M], O>>) => S

validator<
    C,
    M extends string | number | symbol,
    O extends
    
            | "update"
            | "delete"
            | "count"
            | "findUnique"
            | "findUniqueOrThrow"
            | "findFirst"
            | "findFirstOrThrow"
            | "findMany"
            | "create"
            | "createMany"
            | "createManyAndReturn"
            | "updateMany"
            | "updateManyAndReturn"
            | "upsert"
            | "deleteMany"
            | "groupBy"
            | "aggregate"
            | "findRaw"
            | "aggregateRaw"
            | "$queryRaw"
            | "$executeRaw"
            | "$queryRawUnsafe"
            | "$executeRawUnsafe"
            | "$runCommandRaw",
    P extends string
    | number
    | symbol,
>(
    client: C,
    model: M,
    operation: O,
    prop: P,
): <S>(select: Exact<S, Args<C[M], O>[P]>) => S