Documentation

Linglib.Core.Mood

Core.Mood — re-export hub #

Imports the three mood-category files so that downstream code can write import Linglib.Core.Mood instead of cherry-picking each subfile.

The split mirrors mathlib's "one concept per file" discipline:

The pragmatic-act extensions of force (Searle classes, direction of fit, preparatory conditions) live in Core/Discourse/IllocutionaryForce.lean because they are pragmatic-theoretic, not mood-categorial. The DiscourseRole (speaker/addressee) lives in Core/Discourse/Roles.lean.