diff options
| author | Escherichia | 2024-04-03 17:36:09 +0200 |
|---|---|---|
| committer | Escherichia | 2024-04-03 17:36:09 +0200 |
| commit | a2a219145587deb0ade9fa7d60171765cd722162 (patch) | |
| tree | 69727a10478c7f258f18ac89ccca90819490e178 /backends/hol4/primitivesBaseTacLib.sml | |
| parent | 084480c807b58947b8487eb3a7c6a71bb388a832 (diff) | |
added extract_ty_errors and extract_texpression_errors to deal with the error case in their respective types
Diffstat (limited to 'backends/hol4/primitivesBaseTacLib.sml')
0 files changed, 0 insertions, 0 deletions