aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Schema.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2026-10-08purge schema in favor of simple namespaceMarcos Magueta1-23/+0
2026-10-08rework evaluators and add schema scopeMarcos Magueta1-0/+23