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 {}