DDC.Core.Check

Configuration

data Config n

configOfProfile

Type checker trace

data CheckTrace

Checking Modules

checkModule

Checking Expressions

data Mode n

checkExp

typeOfExp

Checking Witnesses

checkWitness

typeOfWitness

typeOfWiCon

Annotations

data AnTEC a n

Error messages

data Error a n