Module raw_syntax 

Raw syntax definitions

Raw syntax is used primarily for parsing and printed. It is not assumed to be typechecked/well-formed.

Re-exports

pub use term::TermR;

pub use pattern::PatternR;

Modules

pattern

Raw syntax patterns.

term

Raw syntax terms.