Adapt some pages to ReScript 11 including records and variants

fhammerschmidt · fhammerschmidt · commit 4ff804649e52 · 2023-11-12T10:23:25.000+01:00
diff --git a/pages/docs/manual/latest/record.mdx b/pages/docs/manual/latest/record.mdx
@@ -426,7 +426,7 @@ type c = {
 }
 ```
 
-Record type spreads act as a 'copy-paste' mechanism for fields from one or more records into a new record. This operation inlines the fields from the spread records directly into the new record definition, while preserving their original properties, such as whether they are optional or mandatory. It's important to note that duplicate field names are not allowed across the records being spread, even if the fields have the same type.
+Record type spreads act as a 'copy-paste' mechanism for fields from one or more records into a new record. This operation inlines the fields from the spread records directly into the new record definition, while preserving their original properties, such as whether they are optional or mandatory. It's important to note that duplicate field names are not allowed across the records being spread, even if the fields share the same type.
 
 ## Record Type Coercion
 

Original file line number	Diff line number	Diff line change
`@@ -426,7 +426,7 @@ type c = {`
`426`	`426`	`}`
`427`	`427`	```
`428`	`428`
`429`		`-Record type spreads act as a 'copy-paste' mechanism for fields from one or more records into a new record. This operation inlines the fields from the spread records directly into the new record definition, while preserving their original properties, such as whether they are optional or mandatory. It's important to note that duplicate field names are not allowed across the records being spread, even if the fields have the same type.`
	`429`	`+Record type spreads act as a 'copy-paste' mechanism for fields from one or more records into a new record. This operation inlines the fields from the spread records directly into the new record definition, while preserving their original properties, such as whether they are optional or mandatory. It's important to note that duplicate field names are not allowed across the records being spread, even if the fields share the same type.`
`430`	`430`
`431`	`431`	`## Record Type Coercion`
`432`	`432`