diff options
author | Son Ho | 2024-03-08 08:50:50 +0100 |
---|---|---|
committer | Son Ho | 2024-03-08 08:50:50 +0100 |
commit | 46b126f4e0e86f14475bc310e150948434726dc7 (patch) | |
tree | 47f1ee50bfbb29c9c1d74c492f2c817f2709d2e0 /backends/fstar/merge/Primitives.fst | |
parent | f74647773d7dd21580fd938dd9b4e300719b0234 (diff) |
Update the handling of notations like #u32 or #isize
Diffstat (limited to 'backends/fstar/merge/Primitives.fst')
0 files changed, 0 insertions, 0 deletions