verify-macros 0.1.0

Procedural macros for the Verify library
Documentation