phase_rs/typed_syntax/
mod.rs

1//! Typed syntax definitions
2//!
3//! The core syntax of the tool.
4//! This is assumed to be typechecked/well-formed.
5
6pub mod term;
7pub use term::{TermT, TermType};
8
9pub mod pattern;
10pub use pattern::{PatternT, PatternType};