summaryrefslogtreecommitdiff
path: root/lib/kernel/rite.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/kernel/rite.ml')
-rw-r--r--lib/kernel/rite.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/kernel/rite.ml b/lib/kernel/rite.ml
index a7d21d3..4999fc2 100644
--- a/lib/kernel/rite.ml
+++ b/lib/kernel/rite.ml
@@ -18,4 +18,5 @@ type ('s, 'r) t = {
date:Date.t ->
temporal_at:(Date.t -> ('s, 'r) Temporal.t) ->
Mass_formulary.t option * Citation.t list;
+ creed : temporal:('s, 'r) Temporal.t -> observed:'r Celebration.t -> date:Date.t -> bool;
}