alux-sdk-macros
This crate contains the procedural macro implementations exported by alux-sdk.
For what a trait algebra is for, read First-order programs and Defunctionalization in the ALUX programming guidelines.
Applications should depend on alux-sdk, which is the reference library
for documentation and executable usage examples:
See the trait_algebra documentation
for usage.