From fffae3b3cb50b1cf7d5b65eb592bfa1de2ed0e1c Mon Sep 17 00:00:00 2001
From: Lukasz Kasprzak <lukas@labunix.xyz>
Date: Tue, 11 Aug 2026 13:09:22 +0200
Subject: rite(ef): season and rank vocabulary per RG 71-77 and RG 8

Eight seasons in canonical liturgical-year order, each carrying its RG
citation, and the four classes. season_slug_word is deliberately distinct from
season_to_string: slugs are lectionary keys adopted verbatim from lectio,
which calls Paschaltide 'easter' and Christmastide 'christmas'.
---
 lib/rites/rite_ef/vocab_ef.mli | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 lib/rites/rite_ef/vocab_ef.mli

(limited to 'lib/rites/rite_ef/vocab_ef.mli')

diff --git a/lib/rites/rite_ef/vocab_ef.mli b/lib/rites/rite_ef/vocab_ef.mli
new file mode 100644
index 0000000..7607cc1
--- /dev/null
+++ b/lib/rites/rite_ef/vocab_ef.mli
@@ -0,0 +1,28 @@
+(** EF (1962) season and rank vocabulary. *)
+
+type season =
+  | Advent
+  | Christmastide
+  | Time_after_epiphany
+  | Septuagesima
+  | Lent
+  | Passiontide
+  | Paschaltide
+  | Time_after_pentecost
+[@@deriving sexp]
+
+type rank = Class1 | Class2 | Class3 | Class4 [@@deriving sexp]
+
+val seasons : season list
+val ranks : rank list
+val season_to_string : season -> string
+val season_of_string : string -> season option
+
+(** The word used when building a slug. Deliberately differs from
+    {!season_to_string} for [Christmastide] ("christmas") and [Paschaltide]
+    ("easter"), because slugs are lectionary keys adopted verbatim from lectio. *)
+val season_slug_word : season -> string
+
+val rank_to_string : rank -> string
+val rank_of_string : string -> rank option
+val vocab : (season, rank) Colitur_kernel.Vocab.t
-- 
cgit v1.3