Leases - Components of Total Operating Lease Cost (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Jan. 24, 2020	Jan. 24, 2020
Leases [Abstract]
Operating lease cost	$ 59	$ 170
Short-term lease cost	10	32
Total operating lease cost	$ 69	$ 202

Amount of lease cost recognized by lessee for lease contract.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

+ Details

Name:	us-gaap_LeaseCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- References

No definition available.

+ Details

Name:	us-gaap_LeasesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of single lease cost, calculated by allocation of remaining cost of lease over remaining lease term. Includes, but is not limited to, single lease cost, after impairment of right-of-use asset, calculated by amortization of remaining right-of-use asset and accretion of lease liability.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

+ Details

Name:	us-gaap_OperatingLeaseCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of short-term lease cost, excluding expense for lease with term of one month or less.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

+ Details

Name:	us-gaap_ShortTermLeaseCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration