hax-adt-into-0.1.0-alpha.1
- hax-adt-into 0.1.0-alpha.1
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- franziskuskiefer
- github:hacspec:crates
- Dependencies
- itertools ^0.11.0 normal
  
  proc-macro2 ^1.0 normal
  
  quote ^1.0 normal
  
  syn ^1.0.107 normal
  
  tracing ^0.1 dev
- Versions
- 66.67% of the crate is documented
Go to latest stable release
Platform
- x86_64-unknown-linux-gnu
Feature flags

Rust

hax_adt_into0.1.0-alpha.1

Crate Items

Attribute Macros
Derive Macros

List of all items

Attribute Macros

derive_group

Derive Macros

AdtInto