Type Alias Array<From, To>

Array: ArrayLike<unknown> extends From
    ? _ArrayUnknown
    : ArrayLike<unknown> extends To
        ? _ArrayUnknown
        : number extends From["length"]
            ? _ArrayUnknown
            : number extends To["length"]
                ? _ArrayUnknown
                : From["length"] extends To["length"]
                    ? {
                        [K in keyof From & keyof To & number]: Deep<
                            (...)[(...)],
                            (...)[(...)],
                        >["result"]
                    }[keyof From & keyof To & number] extends "equal"
                        ? { result: "equal"; type: "array" }
                        : _ArrayDiff<From, To>
                    : _ArrayDiff<From, To>