diff options
Diffstat (limited to 'lib/kernel')
| -rw-r--r-- | lib/kernel/temporal.ml | 5 | ||||
| -rw-r--r-- | lib/kernel/temporal.mli | 8 |
2 files changed, 11 insertions, 2 deletions
diff --git a/lib/kernel/temporal.ml b/lib/kernel/temporal.ml index a34eeb0..878c6e9 100644 --- a/lib/kernel/temporal.ml +++ b/lib/kernel/temporal.ml @@ -4,7 +4,10 @@ open Sexplib0.Sexp_conv the temporal cycle's own office for it. *) type ('s, 'r) t = { season : 's; - week : int option; (** [None] for named days outside a numbered week *) + week : int option; + (** [None] exactly when the date falls outside every numbered week the + rite defines; a named day inside a numbered season run still + carries that run's week -- see temporal.mli. *) weekday : Date.weekday; office : 'r Celebration.t; } diff --git a/lib/kernel/temporal.mli b/lib/kernel/temporal.mli index 055f9aa..9113dba 100644 --- a/lib/kernel/temporal.mli +++ b/lib/kernel/temporal.mli @@ -2,7 +2,13 @@ the temporal cycle's own office for it. *) type ('s, 'r) t = { season : 's; - week : int option; (** [None] for named days outside a numbered week *) + week : int option; + (** [None] exactly when the date falls outside every numbered week the + rite defines (e.g. a season with no week numbering at all, or a + transitional span between two numbered runs). A day being *named* + is not by itself a reason for [None]: a named day that sits inside + a numbered season run must carry that run's week the same as any + other day in it. *) weekday : Date.weekday; office : 'r Celebration.t; } |