Model Choices as Discriminate Unions


Last modified January 2, 2026: update (871c07bef)