prusto-macros 0.2.0

prusto macros
Documentation