aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/EphemeralRelation.mli (follow)
Commit message (Expand)AuthorAgeFilesLines
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-36/+0
* ephemeral relation kernel objectMarcos Magueta2026-09-201-0/+36
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-26/+0
* ephemeral relation and generator at the kernelMarcos Magueta2026-09-111-0/+26