aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.mli (follow)
Commit message (Expand)AuthorAgeFilesLines
* Multigroup objectsEstevan Castilho2026-09-111-0/+5
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+44