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 |
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.