diff options
| author | Aymeric Fromherz | 2023-09-22 16:48:37 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2023-09-22 16:48:37 +0200 |
| commit | a5f87ba02342ae0b96fe0d8ba16f1ec78469d760 (patch) | |
| tree | 2c62e9cc27a453aaeec753760a63d715e76b545d /backends/lean/Base/Diverge | |
| parent | e75879992c5a5a5102a4c5f20b90e6a1032b8ec5 (diff) | |
Allow bitshifts with any pair of integer types
Diffstat (limited to 'backends/lean/Base/Diverge')
0 files changed, 0 insertions, 0 deletions