1use chalk_ir::{Goal, InEnvironment, UCanonical};
2
3pub type UCanonicalGoal<I> = UCanonical<InEnvironment<Goal<I>>>;
4
5mod combine;
6mod fixed_point;
7mod fulfill;
8mod recursive;
9pub mod solve;
10
11pub use fixed_point::Cache;
12pub use recursive::RecursiveSolver;