1 2 3 4 5 6 7
//! Book-based verification for transpiled Rust code. //! //! Uses mdBook to verify transpilation by compiling generated Rust and ensuring it passes lint. #![warn(missing_docs)] #![warn(clippy::all)] #![deny(unsafe_code)]