quint-connect-macros-0.1.1
- quint-connect-macros 0.1.1
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- erickpintor
- bugarela
- Dependencies
- proc-macro2 ^1.0 normal
  quote ^1.0 normal
  syn ^2.0 normal
- Versions
- 0% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Crate quint_connect_macros

quint_connect_macros0.1.1

All Items

Crate Items

Macros
Attribute Macros

Crate quint_connect_macros

Macros§

switch

Attribute Macros§

quint_run
quint_test