aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Relation.mli (follow)
Commit message (Collapse)AuthorAgeFilesLines
* dune fmtMarcos Magueta2026-09-251-2/+1
|
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-2/+0
|
* relation with just contains and require handleMarcos Magueta2026-09-111-4/+4
|
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+22