improve doc comments for FSharp.Core #9844

Merged

KevinRansom merged 5 commits intomasterfrom feature/docs

Jul 31, 2020

+2,485-637

Commits on Jul 30, 2020

Commits on Jul 31, 2020

doc improvements
dsyme
committed