aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/celebration.mli
Commit message (Collapse)AuthorAgeFilesLines
* kernel(celebration): distinguish a feast from a commemoration-only entryLukasz Kasprzak2026-08-111-2/+10
| | | | | | | The 1960 reform reduced many feasts to a bare commemoration. They keep a rank, because RG 111 orders admitted commemorations by dignity, but they can never be the observed day. Modelled as a separate status rather than a fifth rank: RG 8 fixes the classes at four.
* kernel: Vocab, Celebration and Temporal parametric typesLukasz Kasprzak2026-08-111-0/+16
Rite specificity is carried by type parameters plus a vocab record of operations rather than by functors: the same guarantee that a rite cannot name another rite's season, without threading module plumbing through every kernel module. Celebration takes only the rank parameter, since it has no season field and OCaml rejects a type variable that appears in no field.