Module typed_syntax 

Typed syntax definitions

The core syntax of the tool. This is assumed to be typechecked/well-formed.

Re-exports

pub use term::TermT;

pub use term::TermType;

pub use pattern::PatternT;

pub use pattern::PatternType;

Modules

pattern

Term syntax patterns.

term

Term syntax terms.