Module stx 

Syntax for types and terms.

See crate::tt for what this means.

Structs

MetaVar

A metavariable.

TmS

Syntax for total terms, dereferences to TmS_.

TyS

Syntax for total types, dereferences to TyS_.

Enums

TmS_

Inner enum for TmS.

TyS_

Inner enum for TyS.