aufbau 0.1.2

Generalized prefix parsing for a class of context-dependent languages
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

// Type system core definitions and re-exports

pub mod context;
pub mod obligation;
pub mod ops;
mod pool;
pub mod rule;
pub mod runtime;
pub mod types;

#[cfg(test)]
mod tests;

pub use crate::logic::TypingRuntime;
pub use context::{Context, ContextTransition, TreeStatus};
pub use obligation::{Obligation, Obligations};
pub use ops::{Unifier, UnifyResult, equal, subtype};
pub use pool::{SharedType, intern_type};
pub use types::Type;

pub use rule::{
    Conclusion, Premise, Term, TypeAscription, TypeSetting, TypingJudgment, TypingRule,
};