#![cfg(doc)]
#[allow(clippy::needless_doctest_main)]
#[cfg_attr(doc, aquamarine::aquamarine)]
#[doc = include_str!("../docs/overview.md")]
pub mod section01 {}
#[cfg_attr(doc, aquamarine::aquamarine)]
#[doc = include_str!("../docs/compilation_walkthrough.md")]
pub mod section02 {}
#[cfg_attr(doc, aquamarine::aquamarine)]
#[doc = include_str!("../docs/execution_walkthrough.md")]
pub mod section03 {}
#[cfg_attr(doc, aquamarine::aquamarine)]
#[doc = include_str!("../docs/gas_builtin_accounting.md")]
pub mod section04 {}
#[cfg_attr(doc, aquamarine::aquamarine)]
#[doc = include_str!("../docs/implementing_libfuncs.md")]
pub mod section05 {}
#[cfg_attr(doc, aquamarine::aquamarine)]
#[doc = include_str!("../docs/debugging.md")]
pub mod section06 {}
#[cfg_attr(doc, aquamarine::aquamarine)]
#[doc = include_str!("../docs/sierra.md")]
pub mod section07 {}
#[cfg_attr(doc, aquamarine::aquamarine)]
#[doc = include_str!("../docs/mlir.md")]
pub mod section08 {}