DDC.Type.Check

data Config n

configOfProfile

Checking types.

checkType

checkTypeM

Wrappers for specific universes.

checkSpec

kindOfSpec

sortOfKind

Kinds of Constructors

takeSortOfKiCon

kindOfTwCon

kindOfTcCon

Errors

data Error n

data ErrorData n