aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/kernel/SubstantialRelation.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-03Substantial relation kernel objectMarcos Magueta1-0/+44