Basis

Name

Type

Value

Table

Term

Decl

TypeRel

DeclConcepts

WellType

DefiniteAssignment

WellForm

State

Eval

DefiniteAssignmentCorrect

Conform

TypeSafe

Evaln

AxSem

Example

AxExample

AxSound

AxCompl

Trans