Re-exports§
pub use audit::AuditReport;pub use audit::SpecItemKind;pub use audit::generate_audit;pub use diff::DiffReport;pub use diff::diff_reports;pub use incremental::IncrementalResult;pub use incremental::IncrementalStats;pub use incremental::VerifyCache;pub use incremental::incremental_verify;pub use lock::LockError;pub use lock::LockFile;pub use lock::extract_spec_items;pub use lock::format_status;pub use lock::lock_item;pub use lock::unlock_item;pub use lower::lower_file;pub use verify::Obligation;pub use verify::ObligationKind;pub use verify::VerifyError;pub use verify::analyze_obligations;pub use verify::verify_module;pub use types::*;