aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Scope.mli (follow)
Commit message (Collapse)AuthorAgeFilesLines
* admission protocol for multigroup denial checksMarcos Magueta2026-10-091-1/+7
|
* scope and source for evaluatorsMarcos Magueta2026-10-071-0/+65