Split domProps into separate subtypes#8162

dkirchhof wants to merge 1 commit intorescript-lang:masterrescript-lang/rescript:masterfrom

dkirchhof:split-dompropsdkirchhof/rescript:split-dompropsCopy head branch name to clipboard