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