diff options
Diffstat (limited to 'lib/kernel/precedence.ml')
| -rw-r--r-- | lib/kernel/precedence.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/kernel/precedence.ml b/lib/kernel/precedence.ml index 2c55817..c207117 100644 --- a/lib/kernel/precedence.ml +++ b/lib/kernel/precedence.ml @@ -25,6 +25,12 @@ type ('s, 'r) rules = { has no [context] of its own to compute it with) -- see [resolve]'s own comment for why this is a KERNEL-level policy, not a rite- specific rule threaded in as data. *) + vigil_feast : 'r candidate -> Slug.t option; + (** RG 33's third omission trigger: the slug of the feast this candidate + is a vigil OF, when the rite subjects that vigil to omission; + [None] for every other candidate. See the .mli for the contract and + for why the kernel asks the rite to NAME the feast rather than infer + it. *) } type 'r resolution = { |