(* Everything a rite supplies, bundled. Passing these as loose arguments let a
   caller pair one rite's vocab with another's temporal; bundling makes that
   unrepresentable through the normal path. *)
type ('s, 'r) t = {
  id : string;
  vocab : ('s, 'r) Vocab.t;
  year_start : int -> Date.t;
  temporal : Date.t -> ('s, 'r) Temporal.t;
  anchors : int -> (string * Date.t) list;
  rules : ('s, 'r) Precedence.rules;
  season_runs : 's list;
}