hax-rust-engine-macros-0.3.7
- hax-rust-engine-macros 0.3.7
- Permalink
- Docs.rs crate page
- Apache-2.0
- 19 July 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- W95Psp
- github:cryspen:tools
- maximebuyse
- Dependencies
- proc-macro-crate ^3.3.0 normal
  proc-macro2 ^1.0.66 normal
  quote ^1.0.32 normal
  syn ^2.0 normal
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

hax_rust_engine_macros0.3.7

Crate Items

Attribute Macros

List of all items

Attribute Macros

derive_group_for_ast
derive_group_for_ast_base
derive_group_for_ast_serialization
partial_apply
prepend_associated_functions_with
replace
setup_error_handling_struct
setup_printer_struct