diff options
| author | Son Ho | 2023-08-31 17:08:08 +0200 |
|---|---|---|
| committer | Son Ho | 2023-08-31 17:08:08 +0200 |
| commit | f8555e3c1ecfc9667795c19975067b37ba5c617f (patch) | |
| tree | d4de5a2ca65509edd14a0d7765d223aea28e6e0e /compiler/Names.ml | |
| parent | 33bb0b7dbdf5cce28b58793e5fb280668a644525 (diff) | |
Update TranslateCore and factor out some definitions in PrintPure
Diffstat (limited to 'compiler/Names.ml')
0 files changed, 0 insertions, 0 deletions