summaryrefslogtreecommitdiff
path: root/tests/fstar/misc
diff options
context:
space:
mode:
authorAymeric Fromherz2023-09-22 16:48:37 +0200
committerAymeric Fromherz2023-09-22 16:48:37 +0200
commita5f87ba02342ae0b96fe0d8ba16f1ec78469d760 (patch)
tree2c62e9cc27a453aaeec753760a63d715e76b545d /tests/fstar/misc
parente75879992c5a5a5102a4c5f20b90e6a1032b8ec5 (diff)
Allow bitshifts with any pair of integer types
Diffstat (limited to 'tests/fstar/misc')
0 files changed, 0 insertions, 0 deletions