// this is a dummy library just to make docs.rs render what I need
# and in particular the [Getting Started Guide](./doc/user/getting_started/index.html)."
)]
#![cfg_attr(feature = "documentation", feature(external_doc))]
#[cfg(feature = "documentation")]
/// Documentation
pub mod doc;