//! This module contains some generic containers for data used by the resolution algorithm.
//!
//! Using these interfaces, the resolution algorithms can deal with custom behavior introduced
//! by [`Completeness`](crate::completeness::Completeness) implementations.
pub use *;
pub use *;
pub use *;