diff options
Diffstat (limited to 'lib/rites/rite_of/precedence_of.mli')
| -rw-r--r-- | lib/rites/rite_of/precedence_of.mli | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/rites/rite_of/precedence_of.mli b/lib/rites/rite_of/precedence_of.mli index be4713d..6b30dad 100644 --- a/lib/rites/rite_of/precedence_of.mli +++ b/lib/rites/rite_of/precedence_of.mli @@ -56,3 +56,23 @@ val disposition : winner:Vocab_of.rank Precedence.candidate -> loser:Vocab_of.rank Precedence.candidate -> Precedence.disposition + +(** [admit]: always the empty list. The OF admits no commemorations at all -- + the direct consequence of {!disposition} never returning [Commemorate], and + argued from the same Normae n. 60. Not a stub: every losing candidate is + still reported in {!Colitur_kernel.Precedence.resolution.omitted} with its + reason, so nothing is dropped silently. All three parameters are unread. *) +val admit : + observed:Vocab_of.rank Precedence.candidate -> + temporal:Vocab_of.rank Precedence.candidate -> + (Vocab_of.rank Precedence.candidate * Precedence.privilege * int) list -> + (Vocab_of.rank Precedence.candidate * Precedence.privilege) list + +(** [vigil_feast]: always [None]. RG 33's third omission trigger is EF-only; + the OF has no vigil OFFICE that its feast's movement could orphan. The + Nativity's "of-nativity-vigil" is a Mass formulary of the solemnity, not a + separate celebration. *) +val vigil_feast : Vocab_of.rank Precedence.candidate -> Slug.t option + +(** The four functions assembled for {!Colitur_kernel.Precedence.resolve}. *) +val rules : (Vocab_of.season, Vocab_of.rank) Precedence.rules |