aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Schema.mli (follow)
Commit message (Expand)AuthorAgeFilesLines
* purge schema in favor of simple namespaceMarcos Magueta2026-10-081-23/+0
* rework evaluators and add schema scopeMarcos Magueta2026-10-081-0/+23