Grammatical (verbal) mood.
- indicative : Grammatical
The mood of a clause interpreted against a designated set of worlds.
- subjunctive : Grammatical
The mood of a clause interpreted against a comparison of worlds.
Derives DecidableEq, Repr, Inhabited, Fintype.
Used in Semantics/Mood/Verbal, CondoravdiLauer2016, Grano2024, Iatridou2000, NapoliNespor1976 and 1 more