diff options
Diffstat (limited to 'lib/rites/rite_of/rubrics_of.mli')
| -rw-r--r-- | lib/rites/rite_of/rubrics_of.mli | 37 |
1 files changed, 22 insertions, 15 deletions
diff --git a/lib/rites/rite_of/rubrics_of.mli b/lib/rites/rite_of/rubrics_of.mli index 5325f12..ced9193 100644 --- a/lib/rites/rite_of/rubrics_of.mli +++ b/lib/rites/rite_of/rubrics_of.mli @@ -44,20 +44,27 @@ val gloria : bool (** Whether the Symbolum (Credo) is said, post-homily, at this day's Mass - (IGMR n. 67-68). Reads [temporal] for the identical reason [gloria] - does -- n. 68's own "diebus dominicis" is a plain, weekday-only fact, - unlike n. 53's Advent/Lent carve-out, so every Sunday qualifies - (Advent/Lent Sundays INCLUDED, unlike [gloria]) -- and [observed]'s - [rank] for n. 68's own "in sollemnitatibus", and [slug] against - {!requiem_slugs} for the identical reason [gloria] checks it. Narrower - than [gloria] on purpose: n. 68 has no "et festis" clause at all, so a - [Festum]-rank day (an ordinary feast) does NOT get the Credo -- the one - place this function's shape most visibly parts from EF's own RG - 475(b)/(c). [date] is accepted, for signature symmetry with [gloria]/ - [preface] and {!Rite.t}'s own shared shape, but genuinely unread: n. - 67-68 carries no Easter-relative window of its own, unlike RG 475(d)'s - three EF octaves -- checked, not assumed (see the .ml's own citation). *) -val credo : + (IGMR n. 67-68). Named [creed], not [credo]: IGMR n. 67's own heading is + "Professio fidei" and its body says "Symbolum", never "Credo" (checked + directly, igmr.txt:568-577) -- "Credo" is this file's own prose + shorthand, kept in comments and test labels, but the exported name + matches {!Colitur_kernel.Rite.t.creed}'s own field exactly, the same + "interface name matches the kernel field it satisfies" discipline + {!Rite_ef.Rubrics_ef.creed} already follows. Reads [temporal] for the + identical reason [gloria] does -- n. 68's own "diebus dominicis" is a + plain, weekday-only fact, unlike n. 53's Advent/Lent carve-out, so every + Sunday qualifies (Advent/Lent Sundays INCLUDED, unlike [gloria]) -- and + [observed]'s [rank] for n. 68's own "in sollemnitatibus", and [slug] + against {!requiem_slugs} for the identical reason [gloria] checks it. + Narrower than [gloria] on purpose: n. 68 has no "et festis" clause at + all, so a [Festum]-rank day (an ordinary feast) does NOT get the Creed + -- the one place this function's shape most visibly parts from EF's own + RG 475(b)/(c). [date] is accepted, for signature symmetry with + [gloria]/[preface] and {!Rite.t}'s own shared shape, but genuinely + unread: n. 67-68 carries no Easter-relative window of its own, unlike + RG 475(d)'s three EF octaves -- checked, not assumed (see the .ml's own + citation). *) +val creed : temporal:(Vocab_of.season, Vocab_of.rank) Temporal.t -> observed:Vocab_of.rank Celebration.t -> date:Date.t -> @@ -69,7 +76,7 @@ val credo : Missal's preface collection (over 50 individual texts across ~30 named occasions) against {!Preface.t}'s 15 EF-cited constructors, and why none of them is safe to reuse. Same three parameters as [gloria]/ - [credo], all three genuinely unread -- kept only for {!Rite.t}'s shared + [creed], all three genuinely unread -- kept only for {!Rite.t}'s shared shape. *) val preface : temporal:(Vocab_of.season, Vocab_of.rank) Temporal.t -> |