verify_macro 0.1.0

An attribute that automatically instruments code with logical type bounds.
Documentation