1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13

//! This module serves additional documentations and no code.

#[allow(unused_imports)]
use crate::*;

#[doc = include_str!("_docs/conformance.md")]
pub mod conformance {}

#[doc = include_str!("_docs/formal_intro.md")]
pub mod formal_intro {}

#[cfg_attr(feature = "gmp", doc = include_str!("_docs/intro.md"))]
pub mod intro {}