Function tagged

tagged<
    K extends
        | "string"
        | "number"
        | "bigint"
        | "boolean"
        | "symbol"
        | "undefined"
        | "object"
        | "function"
        | "custom"
        | "any"
        | "blob"
        | "date"
        | "enum"
        | "file"
        | "never"
        | "null"
        | "promise"
        | "unknown"
        | "void"
        | "instance"
        | "lazy"
        | "literal"
        | "picklist"
        | "array"
        | "nullable"
        | "nullish"
        | "optional"
        | "set"
        | "undefinedable"
        | "intersect"
        | "union"
        | "variant"
        | "map"
        | "record"
        | "tuple"
        | "exactOptional"
        | "nonNullable"
        | "nonNullish"
        | "nonOptional"
        | "looseTuple"
        | "strictTuple"
        | "tupleWithRest"
        | "looseObject"
        | "objectWithRest"
        | "strictObject"
        | "NaN",
>(
    tag: K,
): <S>(u: unknown) => u is V.lookup<K, S>

tagged<
    K extends
        | "string"
        | "number"
        | "bigint"
        | "boolean"
        | "symbol"
        | "undefined"
        | "object"
        | "function"
        | "custom"
        | "any"
        | "blob"
        | "date"
        | "enum"
        | "file"
        | "never"
        | "null"
        | "promise"
        | "unknown"
        | "void"
        | "instance"
        | "lazy"
        | "literal"
        | "picklist"
        | "array"
        | "nullable"
        | "nullish"
        | "optional"
        | "set"
        | "undefinedable"
        | "intersect"
        | "union"
        | "variant"
        | "map"
        | "record"
        | "tuple"
        | "exactOptional"
        | "nonNullable"
        | "nonNullish"
        | "nonOptional"
        | "looseTuple"
        | "strictTuple"
        | "tupleWithRest"
        | "looseObject"
        | "objectWithRest"
        | "strictObject"
        | "NaN",
    S,
>(
    tag: K,
    u: unknown,
): u is F.ValibotLookup<K>