Use more std:: instead of core:: in docs for consistency#79611

Merged

bors merged 1 commit intorust-lang:masterfrom

poliorcetics:use-std-in-docs

Dec 4, 2020

Commits on Dec 1, 2020

Use more std:: instead of core:: in docs for consistency, add more intra doc links
poliorcetics
committed