Function has

has<KS extends readonly (string | number | symbol)[], S extends t.Predicate>(
    ...args: readonly [KS, undefined | S],
): t.has<KS, t_of<S>>

has<
    KS extends readonly (string | number | symbol)[],
    S extends t_Schema<t_LowerBound<unknown>>,
>(
    ...args: readonly [KS, undefined | S],
): t.has<KS, S>

has<KS extends readonly (string | number | symbol)[]>(
    ...path: readonly [KS],
): t.has<KS, t_union<[t.nonnullable, t_null]>>