diff options
author | Son Ho | 2023-11-24 17:22:33 +0100 |
---|---|---|
committer | Son Ho | 2023-11-24 17:22:33 +0100 |
commit | feb10e653131716698205f0b77b9623cdd1712b0 (patch) | |
tree | 174d6c220d352981604d6ca6e61aef4d2489f6d2 /compiler/ExtractBuiltin.ml | |
parent | 5b9f8de676829817d2b776166fda66bfb5128d6c (diff) |
Update some assumed type names/variants
Diffstat (limited to 'compiler/ExtractBuiltin.ml')
0 files changed, 0 insertions, 0 deletions