prae_macro (cargo): Proc macro for `prae` crate
Keywords: generation|validation|invariant|macro|macros|rust|rust-library