isabelle_client/
lib.rs

1pub mod client;
2pub mod process;
3pub mod server;
4
5/// Runs rust code in readme as doc-tests
6#[cfg(doctest)]
7mod test_readme {
8    macro_rules! external_doc_test {
9        ($x:expr) => {
10            #[doc = $x]
11            extern "C" {}
12        };
13    }
14
15    external_doc_test!(include_str!("../README.md"));
16}