pumpkin-checking 0.4.0

Types used by both pumpkin-core and pumpkin-checker
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Exposes a common interface used to check inferences.
//!
//! The main exposed type is the [`InferenceChecker`], which can be implemented to verify whether
//! inferences are sound w.r.t. an inference rule.

mod atomic_constraint;
mod deduction_checker;
mod inference_checker;
mod int_ext;
mod union;
mod variable;
mod variable_state;

pub use atomic_constraint::*;
pub use deduction_checker::*;
pub use inference_checker::*;
pub use int_ext::*;
pub use union::*;
pub use variable::*;
pub use variable_state::*;