use chalk_ir::{Goal, InEnvironment, UCanonical};

pub type UCanonicalGoal<I> = UCanonical<InEnvironment<Goal<I>>>;

mod combine;
mod fixed_point;
mod fulfill;
mod recursive;
pub mod solve;

pub use fixed_point::Cache;
pub use recursive::RecursiveSolver;