aristo-macros 0.4.0

Aristo SDK proc-macros: #[aristo::intent], #[aristo::assume].
Documentation