Syntax lookup: Polyvar

misc_docs/syntax/language_polyvar.mdx

@@ -0,0 +1,39 @@
+---
+id: "polyvar"
+keywords: ["polymorphic", "variant", "polyvar"]
+name: "#value"
+summary: "This is the `polymorphic variant` type declaration."
+category: "languageconstructs"
+---
+
+[Polymorphic variants](/docs/manual/latest/polymorphic-variant) (or _poly variants_) are the structurally typed equivalent of [variants](/docs/manual/latest/variant).
+
+In comparison to nominally typed variants, their values don't require any explicit type definition, and are not coupled to any specific module. The compiler will infer the type on demand, and compare poly variants by their value, instead of their type name.
+
+However, using the `[ #value ]` syntax you can to define a _closed poly variant type_ with an exact set of values, known as constructors.
+
+### Example
+
+<CodeTab labels={["ReScript", "JS Output"]}>
+
+```res
+type status = [#Waiting | #Running | #Error(string)]
+
+let status1: status = #Waiting
+let status2: status = #Error("Network error")
+```
+
+```js
+var status1 = "Waiting";
+
+var status2 = {
+  NAME: "Error",
+  VAL: "Network error",
+};
+```
+
+</CodeTab>
+
+### References
+
+* [Polymorphic Variant](/docs/manual/latest/polymorphic-variant)