summaryrefslogtreecommitdiff
path: root/stdlib/type.ml
Commit message (Expand)AuthorAgeFilesLines
* Add Type.Id (#11830)Daniel Bünzli2023-01-091-0/+25
* Add type equality witness to the standard library (#11581)Nicolás Ojeda Bär2022-12-201-0/+16