diff options
| author | stuebinm | 2024-07-04 16:23:25 +0200 |
|---|---|---|
| committer | stuebinm | 2024-07-04 16:23:25 +0200 |
| commit | bd4c7558b96b0616023b4e4600a73a82ab2a9a3d (patch) | |
| tree | 956ad76887defd48b0c22e71719c335c388bcbb7 /compiler/ExpressionsUtils.ml | |
| parent | 59214186b817329342d9d72e23adf12f7a3b1348 (diff) | |
isabelle: more correct u32 typeisabelle
(I'd have to figure out how to do the code equation stuff to make this
type actually usable the way nat is, but it should behave correctly in
proofs)
Diffstat (limited to 'compiler/ExpressionsUtils.ml')
0 files changed, 0 insertions, 0 deletions