prae (cargo): A crate that aims to provide a better way to define types that require validation
Keywords: generation|macro|invariant|validation|macros|rust|rust-library