hax-adt-into
crates.ioProvides the `adt_into` procedural macro, allowing for mirroring data types with small variations.
Latest v0.4.2 · Oct 1, 2026
Downloads
No download history yet.
Linked repositories
| ## | RepositoryRepository | ConnectionConnection |
|---|---|---|
| 1 | facebook/infer | Source package · Manifest |
| 2 | pereq-dev/hax | Registry metadata |
Recent releases
| Version | Published |
|---|---|
| 0.4.2 | Oct 1, 2026 |
| 0.4.1 | Sep 23, 2026 |
| 0.4.0 | Sep 7, 2026 |
| 0.4.0-rc.2 | Sep 3, 2026 |
| 0.4.0-rc.1 | Aug 31, 2026 |