intent_ir/lib.rs
1pub mod audit;
2pub mod diff;
3pub mod lower;
4pub mod types;
5pub mod verify;
6
7#[cfg(test)]
8mod audit_tests;
9
10#[cfg(test)]
11mod diff_tests;
12
13#[cfg(test)]
14mod lower_tests;
15
16#[cfg(test)]
17mod verify_tests;
18
19pub use audit::{AuditReport, generate_audit};
20pub use diff::{DiffReport, diff_reports};
21pub use lower::lower_file;
22pub use types::*;
23pub use verify::{Obligation, ObligationKind, analyze_obligations, verify_module};