hax-lib-macros-types
| Crates.io | hax-lib-macros-types |
| lib.rs | hax-lib-macros-types |
| version | 0.3.4 |
| created_at | 2024-06-18 09:25:40.977916+00 |
| updated_at | 2025-09-03 14:27:31.93584+00 |
| description | Hax-internal types |
| homepage | https://github.com/hacspec/hax |
| repository | https://github.com/hacspec/hax |
| max_upload_size | |
| id | 1275299 |
| size | 15,866 |
tools (github:cryspen:tools)
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.