Skip to main content

decy_book/
lib.rs

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