Module val 

Values for types and terms.

See crate::tt for what this means.

Structs

RecordV

The content of a record type value.

TmN

Neutrals for terms, dereferences to TmN_.

TmV

Values for terms, dereferences to TmV_.

TyV

Value for total types, dereferences to TyV_.

Enums

TmN_

Inner enum for TmN.

TmV_

Inner enum for TmV.

TyV_

Inner enum for TyV.

Functions

merge_specializations

Merge new specializations with old specializations.

Type Aliases

Env

A way of resolving BwdIdx found in TmS_::Var to values.