alux-sdk-macros 0.1.2

Domain-neutral procedural macros for the ALUX Rust SDK
Documentation

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.