aboutsummaryrefslogtreecommitdiffstats
path: root/lib/concepts/Heading.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-11heading concept for tuple handlingMarcos Magueta1-0/+24