phase_rs/raw_syntax/
mod.rs

1//! Raw syntax definitions
2//!
3//! Raw syntax is used primarily for parsing and printed.
4//! It is not assumed to be typechecked/well-formed.
5
6pub mod term;
7pub use term::TermR;
8
9pub mod pattern;
10pub use pattern::PatternR;