summaryrefslogtreecommitdiff
path: root/typing/shape.mli
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #10825 from gasche/shape-strong-call-by-needFlorian Angeletti2022-01-201-0/+4
* Shapes: Add Shape module with terms definitions and utility functionsUlysse GĂ©rard2021-11-091-0/+153