diff options
Diffstat (limited to 'lib/rites/rite_of/precedence_of.mli')
| -rw-r--r-- | lib/rites/rite_of/precedence_of.mli | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/lib/rites/rite_of/precedence_of.mli b/lib/rites/rite_of/precedence_of.mli index dfee504..be4713d 100644 --- a/lib/rites/rite_of/precedence_of.mli +++ b/lib/rites/rite_of/precedence_of.mli @@ -38,3 +38,21 @@ val proper_prefix : string same reason: a future sub-rank fits between neighbours without rescaling the table. *) val band : Vocab_of.season Precedence.context -> Vocab_of.rank Precedence.candidate -> int + +(** [disposition ~winner ~loser]: Normae n. 60. An impeded SOLEMNITY is + {!Colitur_kernel.Precedence.Transfer}red; every other losing celebration is + {!Colitur_kernel.Precedence.Omit}ted -- "Reliquae celebrationes eo anno + omittuntur". + + NEVER RETURNS [Commemorate], AND THAT IS THE RULE RATHER THAN A GAP: the OF + has no commemoration of a losing celebration in the EF's sense. An optional + memorial is an election, not a commemoration. Consequently + {!Colitur_kernel.Liturgical_day.t.commemorations} is permanently empty for + this rite, and {!Colitur_kernel.Precedence.privilege} is meaningless here. + + [winner] is unread: n. 60 keys the outcome on the loser's own grade alone, + unlike the EF's RG 92-95. *) +val disposition : + winner:Vocab_of.rank Precedence.candidate -> + loser:Vocab_of.rank Precedence.candidate -> + Precedence.disposition |