The gender a word restricts its referents to.
- male : ReferentGender
- female : ReferentGender
Derives DecidableEq, Repr, Fintype.
Used by ReferentGender.toUD
Used in Fragments/Afar/Gender, Fragments/Basque/Agreement, Fragments/Basque/Pronouns, Fragments/Bayso/Number, Fragments/Chichewa/Gender and 28 more