aboutsummaryrefslogtreecommitdiff
path: root/lib/rites/rite_ef/rite_ef.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/rites/rite_ef/rite_ef.mli')
-rw-r--r--lib/rites/rite_ef/rite_ef.mli4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/rites/rite_ef/rite_ef.mli b/lib/rites/rite_ef/rite_ef.mli
index e2b3e6d..710db1d 100644
--- a/lib/rites/rite_ef/rite_ef.mli
+++ b/lib/rites/rite_ef/rite_ef.mli
@@ -9,6 +9,7 @@
module Vocab_ef = Vocab_ef
module Temporal_ef = Temporal_ef
module Precedence_ef = Precedence_ef
+module Lectionary_ef = Lectionary_ef
(** The EF rite, bundled (design spec's [RITE] signature, realised as a
{!Colitur_kernel.Rite.t} value rather than a functor -- see rite.mli):
@@ -24,6 +25,9 @@ module Precedence_ef = Precedence_ef
- [transfer_target]: {!Precedence_ef.transfer_target}, RG 96 (see that
value's own documentation for the termination and forward-progress
argument {!Colitur_kernel.Rite.t.transfer_target}'s contract requires).
+ - [readings]: {!Lectionary_ef.readings} -- the observed celebration's own
+ proper, else the day's own temporal slug in data/ef/lectionary.sexp
+ (chain steps 1-2; the ferial fallback and the Commons are later work).
Deliberately carries no [sanctoral]/[lectionary] fields the way the
original design-doc sketch of [RITE] does: {!Colitur_kernel.Rite.t} (the