Annex library to run the procedural for MPSTThree

This library provides the different procedural macros from https://github.com/NicolasLagaillardie/mpstrustgithub/mpst-seq/mpst-seq-proc/ to https://github.com/NicolasLagaillardie/mpstrustgithub/.

The tests for the different functions are the ones in https://github.com/NicolasLagaillardie/mpstrustgithub/.

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.