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 /tests/coq/misc/External_Opaque.v | |
| parent | e75879992c5a5a5102a4c5f20b90e6a1032b8ec5 (diff) | |
Allow bitshifts with any pair of integer types
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions