diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 11:59:43 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 11:59:43 +0200 |
| commit | abade24943f2f77c058b5ff768093b8babc9a8c3 (patch) | |
| tree | 33285f68860d21144bdad8388fabaf073b4771cb /lib/kernel/dune | |
| parent | 8b6c0036cb6c7f0e48a9370f53be25fd2bb243f4 (diff) | |
| download | colitur-abade24943f2f77c058b5ff768093b8babc9a8c3.tar.gz colitur-abade24943f2f77c058b5ff768093b8babc9a8c3.zip | |
kernel: Vocab, Celebration and Temporal parametric types
Rite specificity is carried by type parameters plus a vocab record of
operations rather than by functors: the same guarantee that a rite cannot name
another rite's season, without threading module plumbing through every kernel
module. Celebration takes only the rank parameter, since it has no season
field and OCaml rejects a type variable that appears in no field.
Diffstat (limited to 'lib/kernel/dune')
0 files changed, 0 insertions, 0 deletions