pumpkin_checking/lib.rs
1//! Exposes a common interface used to check inferences.
2//!
3//! The main exposed type is the [`InferenceChecker`], which can be implemented to verify whether
4//! inferences are sound w.r.t. an inference rule.
5
6mod atomic_constraint;
7mod deduction_checker;
8mod inference_checker;
9mod int_ext;
10mod union;
11mod variable;
12mod variable_state;
13
14pub use atomic_constraint::*;
15pub use deduction_checker::*;
16pub use inference_checker::*;
17pub use int_ext::*;
18pub use union::*;
19pub use variable::*;
20pub use variable_state::*;