IPAdd<S>: S extends `${infer A}.${infer B}.${infer C}.${infer D}` ? ((ParseInt<A> extends Uint8 ? S : never) & (ParseInt<B> extends Uint8 ? S : never) & (ParseInt<C> extends Uint8 ? S : never) & (ParseInt<D> extends Uint8 ? S : never)) extends never ? "Invalid IPv4 value" : S : "Invalid IPv4 format"