summaryrefslogtreecommitdiff
path: root/src/Names.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Cleanup a bitSon Ho2022-03-031-31/+0
* Update the name definition to use path_elemSon Ho2022-03-031-23/+70
* Move the names from Identifiers to NamesSon Ho2022-03-031-0/+39