eiffel-macros-gen 0.0.1

Eiffel is a library for Eiffel language inspired guard clauses with Rust macros. This is the proc-macro part of the library.
Documentation

This create contains the procedural macros

Mostly the procedural macro check_invariant which is used to check if a given invariant holds true before and after a method call.