hax-lib-macros-0.3.4
- hax-lib-macros 0.3.4
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- franziskuskiefer
- github:cryspen:tools
- Dependencies
- proc-macro2 ^1.0.66 normal
  
  quote ^1.0.32 normal
  
  syn ^2.0 normal
  
  hax-lib-macros-types =0.3.4 normal
  
  proc-macro-error2 ^2.0 normal
  
  syn ^2.0 normal
- Versions
- 0% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

coq_replace

hax_lib_macros0.3.4

Attribute Macro coq_replace

#[coq_replace]