Discriminated (tagged) union adalah unitas dari tipe-tipe objek yang semuanya berbagi satu bidang literal umum — diskriminator — yang digunakan kompiler untuk membedakan varian dan menyempitkan dengan aman.
=
| { : }
| { : ; : }
| { : ; : };
