Module normal_syntax 

Normal-form syntax definitions

Syntax for evaluated terms. This is assumed to be typechecked/well-formed.

Re-exports

pub use term::TermN;

pub use pattern::PatternN;

Modules

pattern

Normal form patterns

term

Normal-form terms.

Traits

Buildable

Trait for objects that can built with compositions, tensors, or from an AtomN.