Sync belt doc headers for `Option`#5424

ryyppy merged 2 commits intorescript-lang:sync-belt-doc-headersrescript-lang/rescript:sync-belt-doc-headersfrom

nkrkv:sync-belt-doc-headers-optionnkrkv/rescript-compiler:sync-belt-doc-headers-optionCopy head branch name to clipboard