hax-lib-macros-types
| Crates.io | hax-lib-macros-types |
| lib.rs | hax-lib-macros-types |
| version | 0.1.0-pre.1 |
| source | src |
| created_at | 2024-06-18 09:25:40.977916 |
| updated_at | 2024-06-18 09:25:40.977916 |
| description | Hax-internal types |
| homepage | https://github.com/hacspec/hax |
| repository | https://github.com/hacspec/hax |
| max_upload_size | |
| id | 1275299 |
| size | 7,605 |
Franziskus Kiefer (franziskuskiefer)
documentation
README
hax internal types
A crate that defines the types of the various payloads of the attributes produced by the crate hax-lib-macros and consumed internally by the engine of hax.