diff options
| author | Son Ho | 2023-12-07 12:44:54 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-07 12:44:54 +0100 |
| commit | c17d8cbb7c32d2c2ce9d737fe5359cfbe7d4418c (patch) | |
| tree | 21e924e94287dc5f018a8ae6457ef53344715f6b /tests/hol4/misc-external/external_OpaqueScript.sml | |
| parent | 6dbe9e153043e5091a4d17da9bc7c3ed7d4093b1 (diff) | |
Update the micro passes to inline deconstruction of tuples with one field
Diffstat (limited to 'tests/hol4/misc-external/external_OpaqueScript.sml')
0 files changed, 0 insertions, 0 deletions