Expand description
Procedural macros exported by the formally::smt subcrate.
WARNING: This crate is not supposed to be used directly.
Use instead the formally::smt module of the main formally crate by enabling the "smt" feature.
Macrosยง
- term
- Construct a term from a subset of the SMT-LIBv2 syntax for terms.