aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.mli (follow)
Commit message (Expand)AuthorAgeFilesLines
* dune fmtMarcos Magueta2026-09-251-1/+0
* Multigroup registration stubEstevan Castilho2026-09-241-1/+1
* Multigroup objectsEstevan Castilho2026-09-111-0/+9