Module stx 

Syntax for types and terms.

See crate::tt for what this means.

Structs

BaseTmS

Syntax for total terms, dereferences to BaseTmS_.

BaseTyS

Syntax for total types, dereferences to BaseTyS_.

FiberTmS

Syntax for fiber terms, dereferences to FiberTmS_.

FiberTyS

Syntax for fiber types, dereferences to FiberTyS_.

MetaVar

A metavariable.

Enums

BaseTmS_

Inner enum for BaseTmS.

BaseTyS_

Inner enum for BaseTyS.

FiberTmS_

Inner enum for FiberTmS: a term of a fiber type, i.e. an element of an instance.

FiberTyS_

Inner enum for FiberTyS.