aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/kernel/SubstantialRelation.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-13appropriate enumeration for tuple split on object and residentMarcos Magueta1-1/+1
2026-09-03Substantial relation kernel objectMarcos Magueta1-0/+44