aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/overlay.mli
Commit message (Expand)AuthorAgeFilesLines
* kernel(overlay): ordered layer-merge algebra with diagnosticsLukasz Kasprzak2026-08-111-0/+40