aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/kernel/SubstantialRelation.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* make substantial relation use merkle.interfaceMarcos Magueta2026-09-181-4/+3
* fol evaluatorMarcos Magueta2026-09-131-20/+31
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-1/+1
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+44