A discriminated (tagged) union adalah union saka tipe-tipe obyek sing kabeh padha nduweni field literal sing umum — discriminant — sing compiler gunakake kanggo bisa bedakake varian-varian lan narrow kanthi aman.
=
| { : }
| { : ; : }
| { : ; : };
