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 base terms, dereferences to TmN_.

TyV

Value for total types, dereferences to TyV_.

Enums

TmN_

Inner enum for TmN.

TmV

Values for base terms.

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