Closed
Description
Very important construct that needs to be documented. Should be put into its own "Polymorphic Variant" section, right next to Variant I assume.
- Useful for interop scenarios, since they compile to strings (without payload)
- With payload, compile to a data structure that's friendly to type in tagged unions