aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Relation.mli (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-09-25dune fmtMarcos Magueta1-2/+1
2026-09-13appropriate enumeration for tuple split on object and residentMarcos Magueta1-2/+0
2026-09-11relation with just contains and require handleMarcos Magueta1-4/+4
2026-09-03Substantial relation kernel objectMarcos Magueta1-0/+22