roq_derive-0.1.0
- roq_derive 0.1.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- crates.io
- Source
- Owners
- wgoodall01
- Dependencies
- quote ^1.0.35 normal
  syn ^2.0.58 normal
- Versions
- 50% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Crate roq_derive

roq_derive0.1.0

All Items

Crate Items

Attribute Macros

Crate roq_derive

Attribute Macros§

definition: Generate a Coq Definition statement from a Rust function.