Cryptol.TypeCheck.Type

data Kind

data Schema

data TParam

data Type

data TVar

type Prop

data TCon

data PC

data TC

data UserTC

data TCErrorMessage

data TySyn

data Newtype

class HasKind t

quickApply

kindResult

tpVar

type SType

newtypeConType

isFreeTV

isBoundTV

tIsError

tIsNat'

tIsNum

tIsInf

tIsVar

tIsFun

tIsSeq

tIsBit

tIsTuple

tIsBinFun

tSplitFun

pIsFin

pIsGeq

pIsEq

pIsArith

pIsCmp

pIsTrue

pIsWidth

tNum

tZero

tOne

tTwo

tInf

tNat'

tBit

tWord

tSeq

tChar

tString

tRec

tTuple

newtypeTyCon

tFun

tNoUser

tBadNumber

tf1

tf2

tf3

tSub

tMul

tDiv

tMod

tExp

tMin

tWidth

tLenFromThen

tLenFromThenTo

(=#=)

(=/=)

pArith

pCmp

(>==)

pHas

pTrue

pAnd

pSplitAnd

pFin

pError

class FVS t

addTNames

ppNewtypeShort

data TFun