mod assignments;
mod control;
mod domain;
#[cfg(test)]
mod dump;
mod eval;
mod files;
mod hole_effects;
mod holes;
mod inline_regions;
mod lower;
mod project;
pub(crate) mod summary;
#[cfg(test)]
pub(crate) use domain::{StringPart, TaintPart};
#[cfg(test)]
pub(crate) use dump::dump_document;
#[cfg(test)]
pub(crate) use eval::EvaluatedDocument;
pub(crate) use eval::{BodyEvalFacts, ValueRead, eval_document};
#[cfg(test)]
pub(crate) use lower::over_cap_scalar_taint;
pub(crate) use project::contract_ir_from_document;